Skip to content

refactor(Tensors): remove pre-Lorentz Contr/Co reps in favour of ContrMod.rep/CoMod.rep#1336

Merged
jstoobysmith merged 2 commits into
leanprover-community:masterfrom
Robby955:refactor/co-contr-cleanup
Jul 1, 2026
Merged

refactor(Tensors): remove pre-Lorentz Contr/Co reps in favour of ContrMod.rep/CoMod.rep#1336
jstoobysmith merged 2 commits into
leanprover-community:masterfrom
Robby955:refactor/co-contr-cleanup

style: wrap two over-length lines flagged by the Python style linter

e2ab7f2
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Check for spelling errors
succeeded Jul 1, 2026 in 13s