Def id.mk

Modification history

2025-12-29 03:44

Mathlib/Control/Functor.lean

chore: remove May 2025 deprecated declarations (#33014) …

Deleted id.mk View on Github →

2022-11-28 17:28

Mathlib/Control/Functor.lean

feat: port control.functor (#612) …

Added id.mk View on Github →