Mathlib v3 is deprecated. Go to Mathlib v4

Def set.kern_image

Modification history

2020-03-30 05:50
src/data/set/lattice.lean
chore(data/set/lattice): use dot syntax for `disjoint.*` (#2282)
Modified set.kern_imageView on Github →
2018-07-21 02:09
data/set/lattice.lean
refactor(analysis/ennreal): split and move to data.real
Modified set.kern_imageView on Github →
2018-01-11 16:26
order/galois_connection.lean
refactor(order/basic): remove "increasing/decreasing" unusual defs
Added set.kern_imageView on Github →