Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-03-26 17:30 8943351e

View on Github →

feat(topology/algebra/module): define fst and snd, review (#2247)

  • feat(topology/algebra/module): define fst and snd, review
  • Fix compile

Estimated changes