Theorem Set.OrdConnected.preimage_monotoneOn

Modification history