mathlib3

fe0c4cd9 - docs(data/polynomial/algebra_map): fix a typo in a doc-string (#13989)

docs(data/polynomial/algebra_map): fix a typo in a doc-string (#13989) The doc-string talks about `comm_ring`, while the lemma uses `comm_semiring`. I aligned the two to the weaker one!