Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUTdW..

Megalodon
cases_2

proofgold address
TMWxw..^cases_2

creator
1473 PrGxv../753a8..

owner
1473 PrGxv../753a8..

term root
ba6d0..