Theorem WithBot.ofNat_eq_coe

Modification history