Proofgold Proposition

True = ∀ x1 : ο . x1 ⟶ x1

type
prop

theory
hf axiom

name
True_def

proof
-

Megalodon
True_def

proofgold address
-

creator

owner

term root
3b41e..