Theorem WithBot.add_eq_coe

Modification history