Mathlib Changelog
v4
Changelog
About
Github
Inductive
DeriveToExprTests.MyMaybe
Modification history
2024-11-04 00:48
MathlibTest/DeriveToExpr.lean
chore: make tests into a library (#18304)
Added
DeriveToExprTests.MyMaybe
View on Github →