Proofgold Proposition

∀ x0 . x0 ∈ 2 ⟶ ∀ x1 : ι → ο . x1 0 ⟶ x1 1 ⟶ x1 x0

type
prop

theory
HotG

name
cases_2

proof
PUUcH..

Megalodon
cases_2

proofgold address
TMZqu..^cases_2

creator
4892 Pr6Pc../8d94a..

owner
4892 Pr6Pc../8d94a..

term root
4693b..