Skip to content
lint and suggest

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Lint style
2m 31s
Check all files imported
38s
3m 9s