mathlib3
03ddb8dd - feat(finsupp/basic): restrict a finitely supported function on option A to A (#8342)

Commit

4 years ago

feat(finsupp/basic): restrict a finitely supported function on option A to A (#8342) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

References

Author

kim-em

Parents