The round-six uniform Proposition 14, explicit-hypothesis form (round six, `p14UH_prime_of`)

Initializing...

The round-six uniform Proposition 14, explicit-hypothesis form (round six, `p14UH_prime_of`) · Prove2Me