Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-11-23 22:04 434a34de

View on Github →

feat(group_theory/perm/sign): Add swap_induction_on' (#5092) This also adds a docstring for swap_induction_on

Estimated changes