Proofgold Proposition

∀ x0 . or (x0 = 0) (∃ x1 . x1 ∈ x0)

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..