Theorem WithBot.coe_strict_mono

Modification history