[Merged by Bors] - feat(RingTheory): Ideal.span corollaries of Krull's height theorem
#39146
Triggered via pull request
September 7, 2026 13:23
mathlib-bors[bot]
mathlib-bors[bot]
edited
#41401
Status
Skipped
Total duration
–
Artifacts
–
check_pr_titles.yaml
on: pull_request_target
check_title
0s