Commit 2024-09-30 16:44 0b5e485b

View on Github →

feat: add mapsTo_fst_prod and mapsTo_snd_prod (#17279) Also adjust the file-level docstring of Data.Set.Prod to match the content of the file

Estimated changes

added theorem Set.mapsTo_fst_prod
added theorem Set.mapsTo_snd_prod