Proofgold Proposition

SNo = λ x1 . ∀ x2 : ο . (∀ x3 . and (ordinal x3) (SNo_ x3 x1) ⟶ x2) ⟶ x2

type
prop

theory
hf axiom

name
-

proof
-

Megalodon
SNo_def

proofgold address
-

creator

owner

term root
7e7a3..