Proofgold Proposition

∀ x0 . Inj1 x0 = 0 ⟶ ∀ x1 : ο . x1

type
prop

theory
HotG

name
Inj1NE1

proof
PUMB7..

Megalodon
Inj1NE1

proofgold address
TMSEK..^Inj1NE1

creator
4898 Pr6Pc../73ca1..

owner
4898 Pr6Pc../73ca1..

term root
5e319..