Def Equiv.withTopCongr

Modification history

2025-12-09 04:22

Mathlib/Order/WithBot.lean

chore(Order/WithBot): add `to_dual` attributes (part 1) (#32498)

Deleted Equiv.withTopCongr View on Github →

2025-09-29 10:30

Mathlib/Order/WithBot.lean

feat: Equiv.with{Top,Bot}Congr (#29968) …

Added Equiv.withTopCongr View on Github →