Theorem Setoid.range_kerLift_eq_range

Modification history

2025-11-04 17:16
Mathlib/Data/Setoid/Basic.lean
feat(Data/Setoid/Basic): add theorems about lifting a function to its kernel (#28818) …
Added Setoid.range_kerLift_eq_rangeView on Github →