Mathlib Changelog
v4
Changelog
About
Github
Def
foo.foo
Modification history
2024-03-29 04:50
test/Simps.lean
feat: `dupNamespace` as a syntax linter (#11154) …
Deleted
foo.foo
View on Github →
2022-10-23 12:09
test/Simps.lean
feat: port simps (#445) …
Added
foo.foo
View on Github →