Theorem BooleanSubalgebra.mk_sdiff_mk

Modification history