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