Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-07-19 03:42 f83cf57a

View on Github →

feat(data/equiv/mul_add): minor lemmas (#3447)

Estimated changes

added theorem add_aut.apply_inv_self
added theorem add_aut.inv_apply_self
added theorem mul_aut.apply_inv_self
added theorem mul_aut.inv_apply_self