mathlib
5025db2a - Merge branch 'semorrison/free_comm_ring_deprecation' into delete_deprecated

Commit

4 years ago

Merge branch 'semorrison/free_comm_ring_deprecation' into delete_deprecated

Author

kim-em

kim-em

Parents

Loading