Theorem WithBot.coe_eq_ofNat

Modification history