Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-02-20 15:52 eeedc6a7

View on Github →

fix(*): remove loopy simp lemmas (#2026)

Estimated changes

modified theorem equiv.conj_comp
modified theorem order_dual.dual_le
modified theorem order_dual.dual_lt