Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUTdW..

Megalodon
cases_1

proofgold address
TMM7i..^cases_1

creator
1473 PrGxv../f7d1b..

owner
1473 PrGxv../f7d1b..

term root
7f650..