Theorem Set.IsPwo.image_of_monotoneOn

Modification history