Proofgold Proposition

∀ x0 . setminus x0 0 = x0

type
prop

theory
HotG

name
setminus_idr

proof
PUL8Q..

Megalodon
setminus_idr

proofgold address
TMYkP..^setminus_idr

creator
4882 Pr6Pc../18e11..

owner
4882 Pr6Pc../18e11..

term root
20e10..