Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-02-12 07:11 6ff5f3ed

View on Github →

feat(data/equiv): generalize list_equiv_of_equiv over universes (#52)

Estimated changes