Theorem BooleanSubalgebra.apply_coe_mem_map

Modification history