Theorem Monotone.mul_strictMono

Modification history