Proofgold Proposition

∀ x0 . Unj (Inj1 x0) = x0

type
prop

theory
HotG

name
Unj_Inj1_eq

proof
PUMB7..

Megalodon
Unj_Inj1_eq

proofgold address
TMMx1..^Unj_Inj1_eq

creator
4898 Pr6Pc../45ead..

owner
4898 Pr6Pc../45ead..

term root
e2cdf..