Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-01-05 06:18 58b1429a

View on Github →

chore(algebra/group/pi): pow_apply can be rfl (#11249)

Estimated changes

modified theorem pi.pow_apply