Commit 2023-01-26 10:48 e7e9757f

View on Github →

feat: synchronize with mathlib#16946 (#1833) leanprover-community/mathlib#16946

Estimated changes

Modified Mathlib/Data/Set/Prod.lean

added theorem Set.diag_image