Theorem BooleanSubalgebra.infClosed

Modification history