Proofgold Proposition

∀ x0 : ι → ι → ο . reflexive_i x0 ⟶ ∀ x1 . x0 x1 x1

type
prop

theory
HF

name
-

proof
PUXHR..

Megalodon
reflexive_i_E

proofgold address
TMHeB..^{reflexive_i_E}

creator
2279 PrGxv../4f9d2..

owner
2279 PrGxv../4f9d2..

term root
2606b..