Proofgold Proposition

∀ x0 . Unj x0 = prim5 (setminus x0 (Sing 0)) Unj

type
prop

theory
HotG

name
Unj_eq

proof
PUMB7..

Megalodon
Unj_eq

proofgold address
TMLCX..^Unj_eq

creator
4898 Pr6Pc../7b954..

owner
4898 Pr6Pc../7b954..

term root
3b1aa..