mathlib3
72543dd0 - feat(data/fin/tuple): add `dtuple` and `tuple` type aliases

Commit

4 years ago

feat(data/fin/tuple): add `dtuple` and `tuple` type aliases

References

eric-wieser/fin-tuple

Author

eric-wieser

eric-wieser

Committer

eric-wieser

eric-wieser

Parents

Loading