Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-03-11 02:48 0e321167

View on Github →

feat(data/dfinsupp): add is_scalar_tower and smul_comm_class (#6614) This also weakens the requirements for the has_scalar instance

Estimated changes