mathlib

8b34e00d - feat(order/complete_lattice): le_Sup and Inf_le iff lemmas (#7047)