Theorem WithBot.pred_coe_bot

Modification history