Theorem WithBot.mul_coe_eq_bind

Modification history