Theorem Set.surjOn_univ

Modification history

2025-11-01 19:17
Mathlib/Data/Set/Function.lean
refactor: simplify `InjOn univ f` to `Injective f` (#31024) …
Added Set.surjOn_univView on Github →