Proofgold Proposition

∀ x0 : ι → ι → ο . reflexive (43cf7.. x0)

type
prop

theory
HotG

name
-

proof
PUgrL..

Megalodon
-

proofgold address
TMPjm..

creator
11560 PrEBh../b794f..

owner
11560 PrEBh../b794f..

term root
29cfb..