Theorem WithBot.coe_max

Modification history