Proofgold Proposition

∀ x0 : ο . 0 ∈ If_i x0 1 0 ⟶ x0

type
prop

theory
HotG

name
-

proof
PUZw1..

Megalodon
-

proofgold address
TMZJ8..

creator
48789 PrMzh../96ebe..

owner
48789 PrMzh../96ebe..

term root
fbe75..