Theorem WithBot.strict_mono_map_iff

Modification history