Proofgold Proposition

∀ x0 . or (x0 = 0) (∀ x1 : ο . (∀ x2 . x2 ∈ x0 ⟶ x1) ⟶ x1)

type
prop

theory
HotG

name
Empty_or_ex

proof
PUXLb..

Megalodon
Empty_or_ex

proofgold address
TMGoe..^Empty_or_ex

creator
4892 Pr6Pc../9f81d..

owner
4892 Pr6Pc../9f81d..

term root
ea40a..