Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-02-18 21:46 213e2ed7

View on Github →

feat(algebra/group/pi): add pi.nsmul_apply (#12122) via to_additive

Estimated changes

modified theorem pi.pow_apply