Proofgold Proposition

∀ x0 . ∀ x1 : ι → ι . not (surj x0 (prim4 x0) x1)

type
prop

theory
HotG

name
-

proof
PUJqS..

Megalodon
form100_63_surjCantor

proofgold address
TMGn8..^{form100_63_surjCantor}

creator
11866 PrEBh../3acd7..

owner
11866 PrEBh../3acd7..

term root
eb4df..