Mathlib v3 is deprecated. Go to Mathlib v4

Theorem add_aut.mul_right_symm_apply

Modification history

2022-12-10 07:00
src/algebra/ring/add_aut.lean
refactor(topology/instances/add_circle): redefine `equiv_add_circle` (#17881) …
Added add_aut.mul_right_symm_applyView on Github →