Proofgold Proposition

∀ x0 x1 . x0 = binunion (setminus x0 x1) (binintersect x0 x1)

type
prop

theory
HotG

name
-

proof
PUKi4..

Megalodon
-

proofgold address
TMa8k..

creator
19174 Pr4zB../47178..

owner
19174 Pr4zB../47178..

term root
d80a5..