Skip to content
Post PR summary comment

feat(RingTheory/Valuation): valuation integers ring is a Principal Ideal ring iff the valuation range is not densely ordered #27785

Sign in to view logs

feat(RingTheory/Valuation): valuation integers ring is a Principal Ideal ring iff the valuation range is not densely ordered

feat(RingTheory/Valuation): valuation integers ring is a Principal Ideal ring iff the valuation range is not densely ordered #27785

Triggered via pull request October 31, 2024 16:35
@pecherskypechersky
synchronize #16619
pechersky/valuation-integers-PIring
Status Success
Total duration 53s
Artifacts –

PR_summary.yml

on: pull_request
build
43s
build
Fit to window
Zoom out
Zoom in