Proofgold Proposition

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

type
prop

theory
HotG

name
reflclos_refl

proof
PUKtJ..

Megalodon
reflclos_refl

proofgold address
TMcjR..^{reflclos_refl}

creator
4890 Pr6Pc../4a666..

owner
4890 Pr6Pc../4a666..

term root
04de2..