Theorem WithBot.rec_bot_coe_bot

Modification history