Def Setoid.kerLift

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.kerLiftView on Github →