Theorem WithBot.coe_eq_coe

Modification history