Mathlib v3 is deprecated. Go to Mathlib v4

Theorem function.update_noteq

Modification history

2021-03-23 15:29

src/logic/function/basic.lean

lint(*): split long lines (#6833)

Modified function.update_noteq View on Github →

2020-01-09 21:23

src/logic/function.lean

feat(linear_algebra/multilinear): basics of multilinear maps (#1814) …

Modified function.update_noteq View on Github →

2018-03-05 17:55

logic/function.lean

chore(*): cleanup

Added function.update_noteq View on Github →