Proofgold Proposition

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

type
prop

theory
HoTg

name
-

proof
PUZzt..

Megalodon
-

proofgold address
TMdrf..

creator
4838 PrGxv../943e9..

owner
4838 PrGxv../943e9..

term root
52c07..