mathlib3
4cab5d16 - Remove assoc from star_ring - builds cleanly

Commit

3 years ago

Remove assoc from star_ring - builds cleanly

References

centroid_star-detatched

Author

mans0954

mans0954

Parents

Loading