Theorem WithBot.toDual_apply_bot

Modification history