Proofgold Proposition

∀ x0 : ι → ι . ∀ x1 x2 . 94f9e.. (prim2 x1 x2) x0 = prim2 (x0 x1) (x0 x2)

type
prop

theory
HoTg

name
-

proof
PUfss..

Megalodon
-

proofgold address
TMGnt..

creator
2718 PrGxv../1b36b..

owner
2718 PrGxv../1b36b..

term root
1d505..