Proofgold Proposition

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

type
prop

theory
HotG

name
cases_1

proof
PUUcH..

Megalodon
cases_1

proofgold address
TMcp6..^cases_1

creator
4892 Pr6Pc../97c3f..

owner
4892 Pr6Pc../97c3f..

term root
70660..