Proofgold Proposition

∀ x0 . Inj1 x0 = binunion (Sing 0) (prim5 x0 Inj1)

type
prop

theory
HotG

name
Inj1_eq

proof
PUMB7..

Megalodon
Inj1_eq

proofgold address
TMc2F..^Inj1_eq

creator
4898 Pr6Pc../cf02c..

owner
4898 Pr6Pc../cf02c..

term root
73d18..