Theorem WithBot.toDual_apply_coe

Modification history