Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-08-31 14:44 ee9bf5c9

View on Github →

feat(data/equiv): equiv_congr and perm_congr

Estimated changes

Modified data/equiv/basic.lean

added def equiv.equiv_congr

added def equiv.perm_congr

added theorem equiv.trans_assoc