Skip to content
Back to pull request #22236

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

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

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

lint_and_suggest_pr.yml

on: pull_request
Lint style
2m 31s
Lint style
Check all files imported
38s
Check all files imported
Fit to window
Zoom out
Zoom in