Mathlib Changelog
v4
Changelog
About
Github
Theorem
b
Modification history
2023-11-23 00:03
test/norm_cast.lean
fix: makefile missing semicolon, silence tests (#8580) …
Modified
b
View on Github →
2022-02-24 13:15
test/norm_cast.lean
feat: `norm_cast` (#191)
Added
b
View on Github →