Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-03-25 13:11 1eae0be1

View on Github →

feat(data/equiv): pi_congr (#2204)

  • feat(data/equiv): pi_congr
  • docstrings
  • change case for consistency
  • tidying up
  • switching names
  • fixes
  • Update src/data/equiv/basic.lean
  • implicit arguments

Estimated changes

added def equiv.Pi_congr