Proofgold Proposition

∀ x0 . x0 ∈ 9 ⟶ ∀ x1 : ι → ο . x1 0 ⟶ x1 1 ⟶ x1 2 ⟶ x1 3 ⟶ x1 4 ⟶ x1 5 ⟶ x1 6 ⟶ x1 7 ⟶ x1 8 ⟶ x1 x0

type
prop

theory
HotG

name
cases_9

proof
PUUcH..

Megalodon
cases_9

proofgold address
TMLp2..^cases_9

creator
4892 Pr6Pc../46735..

owner
4892 Pr6Pc../46735..

term root
0d0c6..