Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-03-07 02:22 726d83f1

View on Github →

feat(lint): add two new linters (#2089)

  • feat(lint): add two new linters checks whether type-class inference searches end relatively quickly checks that there are no instances has_coe a t with variable a
  • remove is_fast from has_coe_variable
  • add link to note
  • typo in priority
  • fix error, implement comments

Estimated changes

added def foo_has_mul
added def foo_instance