Theorem quasilinearOn_iff_monotoneOn_or_antitoneOn

Modification history