mathlib
7f921b27 - feat(algebra/star/basic): basic lemmas for `star_ordered_ring`

Commit

3 years ago

feat(algebra/star/basic): basic lemmas for `star_ordered_ring`

Author

j-loreaux

j-loreaux

Parents

Loading