Theorem BooleanSubalgebra.val_sdiff

Modification history