Proofgold Proposition

∀ x0 . Unj (Inj0 x0) = x0

type
prop

theory
HotG

name
Unj_Inj0_eq

proof
PUMB7..

Megalodon
Unj_Inj0_eq

proofgold address
TMWJt..^Unj_Inj0_eq

creator
4898 Pr6Pc../a9ee0..

owner
4898 Pr6Pc../a9ee0..

term root
f3e39..