Theorem Equiv.mulRight_mul
Modification history
2023-07-27 07:08
Mathlib/GroupTheory/Perm/Basic.lean
chore: tidy various files (#6158)
Modified Equiv.mulRight_mulView on Github →2023-02-28 20:37
Mathlib/GroupTheory/Perm/Basic.lean
feat: add to_additive linter checking whether additive decl exists (#1881) …
Modified Equiv.mulRight_mulView on Github →