MDLD/strictly increasing (real function)
Appearance
< MDLD
Start=strictly increasing (real function) Target=Real function/Strictly increasing/Definition
Start=strictly increasing (real function) Target=Real function/Strictly increasing/Definition