Skip to content
bot fix style

feat(RingTheory/Valuation): define the valuation spectrum and its topology #203835

Sign in to view logs

feat(RingTheory/Valuation): define the valuation spectrum and its topology

feat(RingTheory/Valuation): define the valuation spectrum and its topology #203835

Triggered via pull request April 15, 2026 02:07
@jjdisherejjdishere
submitted #38009
Status Success
Total duration 9s
Artifacts –

bot_fix_style.yaml

on: pull_request_review
Fix style issues from lint
7s
Fix style issues from lint
Fit to window
Zoom out
Zoom in