Theorem strictMono_of_odd_strictMono_on_nonneg

Modification history