Skip to content

feat(Tensors): HasContrDualBases, the dual-basis class, and the component formulas it collapses - #1722

Merged
jstoobysmith merged 2 commits into
leanprover-community:masterfrom
pariandrea:pr01-tensor-dual-bases
Oct 2, 2026
Merged

jstoobysmith merged 2 commits into
leanprover-community:masterfrom
pariandrea:pr01-tensor-dual-bases

docs(Tensors): simplify the docstrings of isContrDualMatching_finCong…

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

Annotations

2 warnings and 1 notice
Add size label
succeeded Oct 2, 2026 in 6s