Theorem Set.diag_image

Modification history

2026-08-08 15:51

Mathlib/Data/Set/Prod.lean

feat(Logic/Function/Defs): add `Function.diag` (#41082) …

Modified Set.diag_image View on Github →

2023-01-26 10:48

Mathlib/Data/Set/Prod.lean

feat: synchronize with mathlib#16946 (#1833) …

Added Set.diag_image View on Github →