Proofgold Proposition

∀ x0 . ∀ x1 : ι → ο . PNoLt_ x0 x1 x1 ⟶ False

type
prop

theory
HF

name
-

proof
PURTb..

Megalodon
PNoLt_irref__b

proofgold address
TMFLS..^{PNoLt_irref__b}

creator
1889 PrGxv../6751a..

owner
1889 PrGxv../6751a..

term root
76614..