Skip to content

feat: Adding inherited order instances for WithDim - #1319

Merged
jstoobysmith merged 2 commits into
leanprover-community:masterfrom
NicolaBernini:feat/add-inherited-order-istances-for-WithDim
Jun 29, 2026
Merged

feat: Adding inherited order instances for WithDim#1319
jstoobysmith merged 2 commits into
leanprover-community:masterfrom
NicolaBernini:feat/add-inherited-order-istances-for-WithDim

Wrap WithDim TODO line

448d63b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Check for spelling errors
succeeded Jun 29, 2026 in 10s