Theorem WithBot.ofDual_apply_bot

Modification history