mathlib

84bbb00f - feat(data/set/intervals): add `order_iso.image_Ixx` lemmas (#9404)