Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-03-24 16:01 5f376b26

View on Github →

feat(data/equiv): sigma_congr (#2205)

Estimated changes