Proofgold Proposition

∀ x0 : ι → ι → ο . reflexive (reflclos x0)

type
prop

theory
HoTg

name
reflclos_refl

proof
PUhdM..

Megalodon
-

proofgold address
TMTQm..

creator
2717 PrGxv../21224..

owner
2717 PrGxv../21224..

term root
04de2..