Skip to content

feat(Units): parameterise Dimension and its unit twin over a basis (Stacked on #1445)#1447

Merged
jstoobysmith merged 2 commits into
leanprover-community:masterfrom
NicolasRouquette:parametric-dimension
Jul 22, 2026
Merged

feat(Units): parameterise Dimension and its unit twin over a basis (Stacked on #1445)#1447
jstoobysmith merged 2 commits into
leanprover-community:masterfrom
NicolasRouquette:parametric-dimension

refactor(Units): rename to LTMCTDimensionBase, add ISQ reference and …

d4c7056
Select commit
Loading
Failed to load commit list.
Sign in for the full log view