Proofgold Proposition

∀ x0 . Unj (Inj0 x0) = x0

type
prop

theory
HF

name
-

proof
PUQAi..

Megalodon
Unj_Inj0_eq

proofgold address
TMS2e..^Unj_Inj0_eq

creator
1476 PrGxv../5b12d..

owner
1476 PrGxv../5b12d..

term root
05a8f..