Proofgold Proposition

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

type
prop

theory
HotG

name
-

proof
PUQQ9..

Megalodon
nat_le2_cases

proofgold address
TMXZR..^{nat_le2_cases}

creator
30111 PrQUS../5c043..

owner
30111 PrQUS../5c043..

term root
baf75..