Theorem Set.OrdConnected.preimage_mono

Modification history