Theorem Monotone.map_isLeast

Modification history