Theorem WithBot.pred_coe_of_ne_bot

Modification history