Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-06-14 01:31 659983c6

View on Github →

feat(logic/equiv/basic): add Pi_comm aka function.swap as an equiv (#14561)

Estimated changes

added def equiv.Pi_comm
added theorem equiv.Pi_comm_symm