Proofgold Proposition

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

type
prop

theory
HotG

name
-

proof
PUgrL..

Megalodon
-

proofgold address
TMTGT..

creator
11560 PrEBh../66690..

owner
11560 PrEBh../66690..

term root
234a3..