Mathlib v3 is deprecated. Go to Mathlib v4

Def function.update

Modification history

2018-03-05 17:55
logic/function.lean
chore(*): cleanup
Added function.updateView on Github →