Theorem equivShrink_le_equivShrink

Modification history

2026-02-06 11:03
Mathlib/Order/Shrink.lean
feat: `equivShrink α x ≤ equivShrink α y ↔ x ≤ y` (#34401) …
Added equivShrink_le_equivShrinkView on Github →