Theorem BooleanSubalgebra.closure_le

Modification history