Theorem WithBot.coe_min

Modification history