Inductive tests.MyMaybe

Modification history

2024-11-04 00:48
MathlibTest/DeriveToExpr.lean
chore: make tests into a library (#18304)
Deleted tests.MyMaybeView on Github →
2023-04-13 22:33
test/DeriveToExpr.lean
feat: `ToExpr` deriving handler (#3215) …
Added tests.MyMaybeView on Github →