Theorem equivShrink_symm_top

Modification history

2026-01-21 08:59
Mathlib/Order/Shrink.lean
chore(Order/Shrink): use `to_dual` (#34190)
Deleted equivShrink_symm_topView on Github →
2025-02-07 15:17
Mathlib/Order/Shrink.lean
feat(Order): instances on Shrink (#21429) …
Added equivShrink_symm_topView on Github →