Proofgold Proposition

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

type
prop

theory
HotG

name
form100_22_v3

proof
PUbuz..

Megalodon
form100_22_v3

proofgold address
TMNky..^{form100_22_v3}

creator
4897 Pr6Pc../19d24..

owner
4897 Pr6Pc../19d24..

term root
4de6f..