Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUQAi..

Megalodon
Unj_eq

proofgold address
TMZ1q..^Unj_eq

creator
1476 PrGxv../901dd..

owner
1476 PrGxv../901dd..

term root
90bc6..