feat(RingTheory): lemmas for minimal primes to lessen defeq abuse #144708
Triggered via pull request
April 15, 2026 05:10
Thmoas-Guan
Thmoas-Guan
synchronize
#38029
Status
Success
Total duration
1m 7s
Artifacts
–
PR_summary.yml
on: pull_request_target
post-or-update-summary-comment
1m 4s