Skip to content
Run pre-commit and in-place update PR on push

feat(RingTheory/KrullDimension): dimension of polynomial ring (#27542) #15

Sign in to view logs

feat(RingTheory/KrullDimension): dimension of polynomial ring (#27542)

feat(RingTheory/KrullDimension): dimension of polynomial ring (#27542) #15

Triggered via push January 16, 2026 02:27
@lua-vrlua-vr
pushed 9196e9f
ergodic-decomposition
Status Success
Total duration 34s
Artifacts –

pre-commit.yml

on: push
main
31s
main
Fit to window
Zoom out
Zoom in