Proofgold Proposition

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

type
prop

theory
HotG

name
-

proof
PUgrL..

Megalodon
-

proofgold address
TMPxU..

creator
11560 PrEBh../0446e..

owner
11560 PrEBh../0446e..

term root
7047b..