Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Def
foo_has_mul
Modification history
2020-03-07 02:22
test/lint.lean
feat(lint): add two new linters (#2089) …
Added
foo_has_mul
View on Github →