MDLD/strictly decreasing (real function)

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