Proofgold Proposition

not (∃ x0 . x0 ∈ 0)

type
prop

theory
HotG

name
EmptyAx

proof
PUQdE..

Megalodon
EmptyAx

proofgold address
TMaPK..^EmptyAx

creator
4867 Pr6Pc../a8ad2..

owner
4867 Pr6Pc../a8ad2..

term root
4da93..