Theorem BooleanSubalgebra.top_mem

Modification history