Theorem BooleanSubalgebra.apply_mem_map_iff

Modification history