Commit 2021-04-17 02:40 89c16a79
View on Github →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.
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.