Proofgold Proposition

False = ∀ x1 : ο . x1

type
prop

theory
hf axiom

name
False_def

proof
-

Megalodon
False_def

proofgold address
-

creator

owner

term root
3baed..