fix(algebra/group/pi): use correct `div`/`sub` (#5625)
fix(algebra/group/pi): use correct `div`/`sub` (#5625)

Without an explicit `div := has_div.div`, `rw [pi.sub_apply]` fails sometimes.





leanprover-community/mathlib,leanprover-community/mathlib