Theorem Set.exists_eq_graphOn_image_fst

Modification history

2024-01-08 13:15
Mathlib/Data/Set/Function.lean
feat(Set/Function): define `Set.graphOn` (#9497) …
Added Set.exists_eq_graphOn_image_fstView on Github →