Theorem Monotone.map_infₛ_le

Modification history