Theorem Function.invFunOn_neg

Modification history

2024-05-31 00:19
Mathlib/Data/Set/Function.lean
chore: fix formatting of many misplaced "by"s (#13204)
Modified Function.invFunOn_negView on Github →
2022-12-15 04:45
Mathlib/Data/Set/Function.lean
feat: port Data.Set.Function (#1035) …
Added Function.invFunOn_negView on Github →