Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUQAi..

Megalodon
Inj1_eq

proofgold address
TMSCV..^Inj1_eq

creator
1476 PrGxv../cae07..

owner
1476 PrGxv../cae07..

term root
70ac0..