Mathlib v3 is deprecated. Go to Mathlib v4

Theorem powers_hom_symm_apply

Modification history

2020-04-29 07:43
src/algebra/group_power.lean
chore(algebra/*): missing `simp`/`inj` lemmas (#2557) …
Added powers_hom_symm_applyView on Github →