Proofgold Proposition

∀ x0 x1 . Subq (setminus x0 x1) x0

type
prop

theory
HF

name
-

proof
PUZM3..

Megalodon
setminus_Subq

proofgold address
TMTAo..^{setminus_Subq}

creator
1446 PrGxv../5925a..

owner
1446 PrGxv../5925a..

term root
b22f3..