Proofgold Proposition

not (∀ x0 : ο . (∀ x1 . In x1 0 ⟶ x0) ⟶ x0)

type
prop

theory
hf axiom

name
-

proof
-

Megalodon
EmptyAx

proofgold address
-

creator

owner

term root
64198..