Skip to content
Label New Contributors

feat(Order/KrullDimension): some lemmas relating Order.height, Order.coheight and krullDim #63044

Sign in to view logs

feat(Order/KrullDimension): some lemmas relating Order.height, Order.coheight and krullDim

feat(Order/KrullDimension): some lemmas relating Order.height, Order.coheight and krullDim #63044

Triggered via pull request February 25, 2025 10:18
@xyzw12345xyzw12345
synchronize #22236
xyzw12345_Order_lemmas
Status Success
Total duration 12s
Artifacts –

label_new_contributor.yml

on: pull_request
label-and-report-new-contributor
4s
label-and-report-new-contributor
Fit to window
Zoom out
Zoom in