Theorem Monotone.strict_mono_of_injective

Modification history