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

Check all files imported

Check all files imported
succeeded Feb 25, 2025 in 38s