Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
foo.foo
Modification history
2019-09-25 18:11
test/sanity_check.lean
feat(sanity_check): improvements (#1487) …
Added
foo.foo
View on Github →