mathlib

89c16a79 - chore(ring_theory/adjoin.basic): use submodule.closure in algebra.adjoin_eq_span (#7194)

chore(ring_theory/adjoin.basic): use submodule.closure in algebra.adjoin_eq_span (#7194) `algebra.adjoin_eq_span` uses `monoid.closure` that is deprecated. We modify it to use `submonoid.closure`.