Theorem BooleanSubalgebra.subset_closure

Modification history