Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-11-25 11:39 4265f2c9

View on Github →

chore(data/int/basic): Add int.units_mul_self (#5101)

Estimated changes

Modified src/algebra/group_power/lemmas.lean

Modified src/data/int/basic.lean

added theorem int.units_coe_mul_self

added theorem int.units_mul_self

Modified src/linear_algebra/determinant.lean