Theorem BooleanSubalgebra.sdiff_mem

Modification history