Def add_aut.mul_right

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_rightView on Github →