Theorem Antitone.map_supₛ_le

Modification history