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 #27801

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 #27801

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

PR_summary.yml

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