Revision #1093 → #2524 · back to history
6de3eaaec30b| Field | From #1093 | To #2524 |
|---|---|---|
| mathlib.decl | Submodule.IsMinimalPrimaryDecomposition.radical_eq_associatedPrimes | Submodule.IsMinimalPrimaryDecomposition.image_radical_eq_associated_primes |
| provenance | ai | ai-moderated |