mathlib3
f6eef43c - doc(ring_theory): move some module docstring to correct place (#6312)

Commit

4 years ago

doc(ring_theory): move some module docstring to correct place (#6312)

Author

jcommelin

jcommelin

Parents

Loading