Label PR based on Comment

[Merged by Bors] - feat(Algebra/Algebra): reinterpret a RingEquiv as a ℕ/ℤ/ℚ-algebra isomorphism #203809

Sign in to view logs

Triggered via pull request July 20, 2026 15:24

created #40298

Status Success

Total duration 7s

Artifacts –

labels_from_comment.yml

on: pull_request_review_comment