Theorem BooleanSubalgebra.mem_closure

Modification history