feat(style): explicit types#782

Open

fpvandoorn wants to merge 2 commits intolean4from

style-explicit-types

Member

fpvandoorn commented Feb 2, 2026 •

edited

Loading

Binder types, argument types and return types should be explicit in Mathlib.


          make binder types explicit

b322748

Member Author

fpvandoorn commented Feb 2, 2026

This was suggested by @oliver-butterley.


          add example

3db5838

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet