mathlib
7c57af94 - feat(order/bounds): Bounds on `set.image2` (#14306)

Commit

3 years ago

feat(order/bounds): Bounds on `set.image2` (#14306) `set.image2` analogues to the `set.image` lemmas.

Author

YaelDillies

Parents