Proofgold Proposition

∀ x0 . Unj (Inj1 x0) = x0

type
prop

theory
HF

name
-

proof
PUQAi..

Megalodon
Unj_Inj1_eq

proofgold address
TMQKt..^Unj_Inj1_eq

creator
1476 PrGxv../fabd3..

owner
1476 PrGxv../fabd3..

term root
56702..