Proofgold Proposition

∀ x0 x1 . ∀ x2 x3 : ι → ι . inj x0 x1 x2 ⟶ inj x1 x0 x3 ⟶ ccad8.. x0 x1

type
prop

theory
HotG

name
-

proof
PUhjz..

Megalodon
-

proofgold address
TMbLt..

creator
4897 Pr6Pc../b77f6..

owner
4897 Pr6Pc../b77f6..

term root
44e6c..