Proofgold Proposition

∀ x0 . ∀ x1 : ι → ι → ι . 93c99.. (987b2.. x0 x1) explicit_abelian = explicit_abelian x0 x1

type
prop

theory
HoTg

name
-

proof
PUK9H..

Megalodon
-

proofgold address
TMHPn..

creator
4803 PrGxv../f704c..

owner
4803 PrGxv../f704c..

term root
c7b84..