Proofgold Proposition

∀ x0 x1 . ordinal x1 ⟶ x1 ∈ eps_ x0 ⟶ x1 = 0

type
prop

theory
HotG

name
eps_ordinal_In_eq_0

proof
PUVu4..

Megalodon
eps_ordinal_In_eq_0

proofgold address
TMbpD..^{eps_ordinal_In_eq_0}

creator
5368 Pr6Pc../aafc0..

owner
5368 Pr6Pc../aafc0..

term root
3046f..