mathlib
27ac3e1a - feat(algebra/star/basic): basic lemmas for `star_ordered_ring` (#17218)

Commit

3 years ago

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

Author

j-loreaux

j-loreaux

Parents

Loading