Proofgold Proposition

∀ x0 : ι → ι . ∀ x1 x2 . x1 = x2 ⟶ x0 x2 = x0 x1

type
prop

theory
HF

name
-

proof
PUU1Q..

Megalodon
-

proofgold address
TMbmK..

creator
11715 PrGVS../5b642..

owner
11715 PrGVS../5b642..

term root
e2a6c..