mathlib3
213e2ed7 - feat(algebra/group/pi): add pi.nsmul_apply (#12122)

Commit

3 years ago

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

Author

alexjbest

alexjbest

Parents

Loading