with_zero): add le lemmas (#10183)

Commit

4 years ago

feat(algebra/order/with_zero): add le lemmas (#10183) Co-authored-by: María Inés de Frutos-Fernández <88536493+mariainesdff@users.noreply.github.com>

Author

mariainesdff

Parents