Proofgold Proposition

∀ x0 : ι → ι . not (inj (e5b72.. 48ef8..) 48ef8.. x0)

type
prop

theory
HoTg

name
-

proof
PUZzt..

Megalodon
-

proofgold address
TMcrM..

creator
4838 PrGxv../84fd6..

owner
4838 PrGxv../84fd6..

term root
09fe5..