mathlib
bd80b339 - chore(ring_theory/subring): fix stale docstring (#10340)

Commit

4 years ago

chore(ring_theory/subring): fix stale docstring (#10340) Oversight from https://github.com/leanprover-community/mathlib/pull/10332

Author

ocfnash

Parents