mathlib
5bd96ce7 - feat(algebra/group/pi): pow_apply (#7302)

Commit
4 years ago
feat(algebra/group/pi): pow_apply (#7302) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>
Author
Parents
Loading