Proposition 18 at round six from the uniform Proposition 14 (`P14UH'`) (round six, `p18Body6_of`)

Initializing...

Proposition 18 at round six from the uniform Proposition 14 (`P14UH'`) (round six, `p18Body6_of`) · Prove2Me