Proofgold Proposition

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

type
prop

theory
HotG

name
-

proof
PUgrL..

Megalodon
-

proofgold address
TMVAQ..

creator
11560 PrEBh../2c3b6..

owner
11560 PrEBh../2c3b6..

term root
41642..