Proofgold Proposition

∀ x0 . nat_p x0 ⟶ x0 ⊆ 1 ⟶ or (x0 = 0) (x0 = 1)

type
prop

theory
HotG

name
nat_le1_cases

proof
PUPh4..

Megalodon
nat_le1_cases

proofgold address
TMXms..^{nat_le1_cases}

creator
29757 PrQUS../68503..

owner
29757 PrQUS../68503..

term root
591db..