|
Real
|
refactor: Linting
|
2024-07-30 08:07:47 -04:00 |
|
Basic.lean
|
feat: Add vecAsTensor
|
2024-07-30 09:29:05 -04:00 |
|
Contraction.lean
|
refactor: Linting
|
2024-07-30 08:07:47 -04:00 |
|
Fin.lean
|
feat: Add vecAsTensor
|
2024-07-30 09:29:05 -04:00 |
|
MulActionTensor.lean
|
feat: Add vecAsTensor
|
2024-07-30 09:29:05 -04:00 |
|
Notation.lean
|
feat: Add real lorentz tensors
|
2024-07-29 16:54:59 -04:00 |
