Theorem Set.injOn_subtype_val

Modification history

2026-02-25 08:52
Mathlib/Data/Set/Function.lean
chore(*): reduce defeq abuse around `Set` (#35752)
Modified Set.injOn_subtype_valView on Github →
2023-08-03 05:30
Mathlib/Data/Set/Function.lean
feat: add instances for intervals (#5957) …
Added Set.injOn_subtype_valView on Github →