mathlib
32e1b6c1 - chore(ring_theory/ideal): improve 1st isomorphism theorem docstrings (#9699)

Commit

4 years ago

chore(ring_theory/ideal): improve 1st isomorphism theorem docstrings (#9699) Fix a typo and add **bold** to the theorem names.

Author

Vierkantor

Parents