Proofgold Proposition

∀ x0 : ι → ι → ο . irreflexive_i x0 ⟶ ∀ x1 . not (x0 x1 x1)

type
prop

theory
HF

name
-

proof
PUXHR..

Megalodon
irreflexive_i_E

proofgold address
TMXcs..^{irreflexive_i_E}

creator
2279 PrGxv../fe35f..

owner
2279 PrGxv../fe35f..

term root
9869a..