Proofgold Proposition

∀ x0 . 0 ∈ Inj1 x0

type
prop

theory
HotG

name
Inj1I1

proof
PUMB7..

Megalodon
Inj1I1

proofgold address
TMFoq..^Inj1I1

creator
4898 Pr6Pc../f8501..

owner
4898 Pr6Pc../f8501..

term root
3c2cc..