Theorem equivShrink_lt_equivShrink

Modification history

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