Proofgold Proposition

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

type
prop

theory
HotG

name
form100_22_v2

proof
PUbuz..

Megalodon
form100_22_v2

proofgold address
TMaPH..^{form100_22_v2}

creator
4897 Pr6Pc../f100b..

owner
4897 Pr6Pc../f100b..

term root
eabc1..