mathlib
3afafe6b - doc(ring_theory/algebraic): clarify docstring (#14715)

Commit

3 years ago

doc(ring_theory/algebraic): clarify docstring (#14715)

Author

kbuzzard

kbuzzard

Parents

Loading