Theorem Filter.map_inf_le

Modification history