Commit 2024-08-23 14:42 9a55ce7d

View on Github →

feat(Set/Prod): add dcomp_image_pi (#15694)

Estimated changes

Modified Mathlib/Data/Set/Prod.lean

added theorem Set.dcomp_image_pi

added theorem Set.dcomp_image_univ_pi