Proofgold Proposition

∀ x0 x1 . x0 ⊆ x1 ⟶ x1 = binunion x0 (setminus x1 x0)

type
prop

theory
HotG

name
-

proof
PUgKv..

Megalodon
-

proofgold address
TMWiH..

creator
19831 Pr4zB../f6892..

owner
19831 Pr4zB../f6892..

term root
ff756..