Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-06-03 09:28 50202855

View on Github →

chore(group_theory/group_action): simp attributes on inv_smul_smul and smul_inv_smul (#2924)

Estimated changes

modified theorem mul_action.inv_smul_smul
modified theorem mul_action.smul_inv_smul