Theorem Antitone.map_isLeast

Modification history