Theorem Set.graphOn_univ_injective

Modification history

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