mathlib
a07d1de4 - feat(data/fin/interval): Finite intervals in `fin n` (#9523)

Commit

4 years ago

feat(data/fin/interval): Finite intervals in `fin n` (#9523)

Author

YaelDillies

YaelDillies

Parents

Loading