Simplify `Data.Product` imports#2003

Merged

MatthewDaggitt merged 3 commits intoagda:masterfrom

Saransh-cpp:Data.Product-take-1

Jun 30, 2023

Commits on Jun 22, 2023

`Data.Product` imports to `Data.Product.Base`
Saransh-cpp
committed

Commits on Jun 27, 2023

Merge branch 'master' of https://github.com/agda/agda-stdlib into Data.Product-take-1
Saransh-cpp
committed

Commits on Jun 28, 2023

Conflicts
Saransh-cpp
committed