Theorem WithBot.map_coe

Modification history