Proofgold Proposition

∀ x0 . nIn x0 0

type
prop

theory
HotG

name
EmptyE

proof
PUL8Q..

Megalodon
EmptyE

proofgold address
TMUoY..^EmptyE

creator
4882 Pr6Pc../d33a0..

owner
4882 Pr6Pc../d33a0..

term root
93a77..