Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUTdW..

Megalodon
cases_8

proofgold address
TMHcF..^cases_8

creator
1473 PrGxv../5a7fe..

owner
1473 PrGxv../5a7fe..

term root
d3128..