Proofgold Proposition

∀ x0 x1 . ∀ x2 : ι → ι . (∀ x3 . prim1 x3 x0 ⟶ ∀ x4 . prim1 x4 x0 ⟶ x2 x3 = x2 x4 ⟶ x3 = x4) ⟶ ∀ x3 . prim1 x3 x0 ⟶ inv x0 x2 (x2 x3) = x3

type
prop

theory
HoTg

name
-

proof
PUhdM..

Megalodon
-

proofgold address
TMJru..

creator
2717 PrGxv../ae3b2..

owner
2717 PrGxv../ae3b2..

term root
f9fc2..