Def Function.extend

Modification history

2023-10-16 11:32

Mathlib/Logic/Function/Basic.lean

doc: Clarify the use case of `Function.extend` (#7547) …

Modified Function.extend View on Github →

2022-11-22 07:59

Mathlib/Logic/Function/Basic.lean

feat: add `fun x ↦ t` syntax (#617)

Modified Function.extend View on Github →

2022-11-02 22:22

Mathlib/Logic/Function/Basic.lean

feat: port Logic.Function.Basic (#511)

Added Function.extend View on Github →