Theorem Function.const_mono

Modification history