Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-01-03 08:56 e3501142

View on Github →

feat(data/equiv/basic): rfl lemma for equiv_congr (#5585)

Estimated changes