Theorem Setoid.ker_apply_mk_out'

Modification history

2025-04-23 11:03
Mathlib/Data/Setoid/Basic.lean
chore: delete >6 month old deprecations (2024-10 11-21) (#24271) …
Deleted Setoid.ker_apply_mk_out'View on Github →
2022-12-22 08:25
Mathlib/Data/Setoid/Basic.lean
feat: port Data.Setoid.Basic (#1117)
Added Setoid.ker_apply_mk_out'View on Github →