Theorem BooleanSubalgebra.map_inf_le

Modification history