bot fix style

[Merged by Bors] - feat(RingTheory/Flat): finite flat algebra is trivial if rank is equal to `1` #196091

Sign in to view logs

Triggered via pull request April 3, 2026 12:03

created #36399

Status Success

Total duration 13s

Artifacts –

bot_fix_style.yaml

on: pull_request_review_comment

Fix style issues from lint