Commit 2025-12-31 09:42 80bcf282

View on Github →

chore(Order/WithBot): rename some theorems (#33413)

Estimated changes

deleted theorem WithBot.ofDual_apply_bot
added theorem WithBot.ofDual_bot
added theorem WithBot.ofDual_symm
deleted theorem WithBot.toDual_apply_bot
added theorem WithBot.toDual_bot
added theorem WithBot.toDual_symm