Def Combinator.K

Modification history

2025-02-01 09:03
Mathlib/Deprecated/Combinator.lean
chore: delete declarations deprecated between 2024-01 and 2024-07 (#21271) …
Deleted Combinator.KView on Github →
2024-11-25 13:34
Mathlib/Deprecated/Combinator.lean
chore: ensure there is a replacement identifier or text suggestion for all deprecations (#19426) …
Modified Combinator.KView on Github →
2024-08-15 12:19
Mathlib/Deprecated/Combinator.lean
chore: cleanup in Mathlib/Init/* (#15188) …
Modified Combinator.KView on Github →
2022-10-24 02:02
Mathlib/Init/Core.lean
feat: align `init.{core, logic}` (#490) …
Added Combinator.KView on Github →