Proofgold Proposition

∀ x0 . TransSet x0 ⟶ (∀ x1 . In x1 x0 ⟶ TransSet x1) ⟶ ordinal x0

type
prop

theory
HF

name
-

proof
PUXHR..

Megalodon
ordinalI

proofgold address
TMRSK..^ordinalI

creator
2279 PrGxv../ea1ec..

owner
2279 PrGxv../ea1ec..

term root
330bb..