Proofgold Proposition

ordinal = λ x1 . and (TransSet x1) (∀ x2 . In x2 x1 ⟶ TransSet x2)

type
prop

theory
hf axiom

name
-

proof
-

Megalodon
ordinal_def

proofgold address
-

creator

owner

term root
5273a..