mathlib
cdc060d5 - If the centroid of a star ring is commutative, it is a star ring

Commit

3 years ago

If the centroid of a star ring is commutative, it is a star ring

Author

mans0954

mans0954

Parents

Loading