refactor(RingTheory/Ideal/Heoght): minimize usages of Ideal.primeHeight and add lemma for minimalPrimes
#141400
Triggered via pull request
April 4, 2026 07:00
Thmoas-Guan
Thmoas-Guan
synchronize
#37500
Status
Success
Total duration
1m 8s
Artifacts
–
PR_summary.yml
on: pull_request_target
post-or-update-summary-comment
1m 3s