Def Function.on_fun

Modification history

2022-11-07 03:20

Mathlib/Init/Function.lean

feat: port `onFun` and `combine` notations in Init.Logic (#542) …

Deleted Function.on_fun View on Github →

2021-06-09 11:55

Mathlib/Function.lean

feat (Data/Equiv/Basic): add `equiv` (#13) …

Added Function.on_fun View on Github →