[Merged by Bors] - feat(RingTheory/Ideal): generalize span_singleton_dvd_span_singleton_iff_dvd and emultiplicity_eq_emultiplicity_span #39170
Triggered via pull request
September 7, 2026 14:29
mathlib-bors[bot]
mathlib-bors[bot]
edited
#40557
Status
Skipped
Total duration
10s
Artifacts
–
check_pr_titles.yaml
on: pull_request_target
check_title
0s