Proofgold Proposition

∀ x0 x1 . ordinal x0 ⟶ ordinal x1 ⟶ or (x0 ∈ x1) (x1 ⊆ x0)

type
prop

theory
HotG

name
ordinal_In_Or_Subq

proof
PUL8Q..

Megalodon
ordinal_In_Or_Subq

proofgold address
TMUy7..^{ordinal_In_Or_Subq}

creator
4882 Pr6Pc../70351..

owner
4882 Pr6Pc../70351..

term root
70fe0..