Mathlib Changelog
v4
Changelog
About
Github
Def
Test.foo17
Modification history
2023-01-09 17:24
test/toAdditive.lean
feat: improve the way to_additive deals with attributes (#1314) …
Added
Test.foo17
View on Github →