Mathlib v3 is deprecated. Go to Mathlib v4

Def set.preimage

Modification history

2022-12-07 20:30

src/data/set/basic.lean

refactor(data/set/basic): move image, preimage, and range to a new file (#17842) …

Modified set.preimage View on Github →

2017-08-02 22:32

data/set/basic.lean

refactor(data/set/basic,*): vimage -> preimage, add notation

Added set.preimage View on Github →