Commit 2024-11-05 14:13 c35aaa1c

View on Github →

feat(Order/WithBot): add map_eq_top_iff, map_eq_bot_iff for WithTop, WithBot (#18655)

Estimated changes

added theorem WithBot.map_eq_bot_iff
added theorem WithTop.map_eq_top_iff