Theorem WithBot.strict_mono_iff

Modification history