Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-04-03 04:50 2d22b5d3

View on Github →

chore(algebra/*): generalisation linter (#13109)

Estimated changes

Modified src/algebra/group/conj.lean

Modified src/algebra/group_power/order.lean

Modified src/algebra/indicator_function.lean

modified theorem monoid_hom.map_mul_indicator

Modified src/algebra/invertible.lean

modified theorem nonzero_of_invertible

Modified src/algebra/module/basic.lean

modified theorem add_monoid_hom.map_int_module_smul

modified theorem add_monoid_hom.map_nat_module_smul

Modified src/algebra/support.lean

modified theorem function.mul_support_mul