prod): image projections out of finset product (#16936)

Commit

3 years ago

feat(data/finset/prod): image projections out of finset product (#16936) Co-authored-by: Bhavik Mehta <bm489@cam.ac.uk>

Author

b-mehta

Parents