Proofgold Proposition

∀ x0 . ordinal x0 ⟶ ∀ x1 : ι → ο . PNoEq_ x0 (λ x2 . In x2 (PSNo x0 x1)) x1

type
prop

theory
HF

name
-

proof
PUQ8e..

Megalodon
PNoEq_PSNo

proofgold address
TMNK7..^PNoEq_PSNo

creator
2357 PrGxv../87a29..

owner
2357 PrGxv../87a29..

term root
ba75a..