Proofgold Proposition

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

type
prop

theory
HoTg

name
-

proof
PUbyS..

Megalodon
-

proofgold address
TMHS2..

creator
4838 PrGxv../c48bf..

owner
4838 PrGxv../c48bf..

term root
70a6e..