mathlib
118d45ad - doc(ring_theory/subring): fix docstring of `subring.center` (#9494)

Commit

4 years ago

doc(ring_theory/subring): fix docstring of `subring.center` (#9494)

Author

ADedecker

ADedecker

Parents

Loading