Theorem Set.image_mono

Modification history