Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-05-14 14:46 e7b64c55

View on Github →

feat(data/equiv/functor): map_equiv (#1026)

  • feat(data/equiv/functor): map_equiv
  • golf proofs

Estimated changes