Skip to content
Post PR summary comment

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

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

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

PR_summary.yml

on: pull_request
post-or-update-summary-comment
1m 9s
post-or-update-summary-comment
Fit to window
Zoom out
Zoom in