feat(algebra/order/with_zero): add le lemmas (#10183)
feat(algebra/order/with_zero): add le lemmas (#10183)




Co-authored-by: María Inés de Frutos-Fernández <b9834bc50e8c27d76d0283bd72e86a3210645c8e@users.noreply.github.com>

leanprover-community/mathlib,leanprover-community/mathlib