Theorem Set.graphOn_univ_inj

Modification history

2024-10-08 16:10
Mathlib/Data/Set/Function.lean
feat: `graphOn` API (#17303) …
Added Set.graphOn_univ_injView on Github →