Mathlib Changelog
v4
Changelog
About
Github
Def
Tests.eTrue
Modification history
2023-11-17 21:01
test/meta.lean
feat: convenient meta declarations (#7519) …
Added
Tests.eTrue
View on Github →