Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-08-14 15:58 0bc4a400

View on Github →

feat(data/pequiv): symm_single_apply (#1324)

Estimated changes