Proofgold Proposition

∀ x0 . In x0 x0 ⟶ False

type
prop

theory
HF

name
-

proof
PURTb..

Megalodon
In_irref_b

proofgold address
TMPQm..^In_irref_b

creator
1889 PrGxv../fd134..

owner
1889 PrGxv../fd134..

term root
60a05..