|
Even
|
Update LineInCubic.lean
|
2024-05-20 00:19:21 +02:00 |
|
LowDim
|
refactor: Lint
|
2024-04-18 10:50:59 -04:00 |
|
Odd
|
Update LineInCubic.lean
|
2024-05-20 00:19:25 +02:00 |
|
Basic.lean
|
refactor: def of symmetric trilin function
|
2024-04-22 09:48:44 -04:00 |
|
BasisLinear.lean
|
Feat: Upgrade versions
|
2024-05-06 14:55:22 -04:00 |
|
ConstAbs.lean
|
refactor: Lint
|
2024-04-18 10:12:55 -04:00 |
|
LineInPlaneCond.lean
|
Update LineInPlaneCond.lean
|
2024-05-20 00:19:22 +02:00 |
|
Permutations.lean
|
refactor: Linting
|
2024-04-18 09:56:51 -04:00 |
|
Sort.lean
|
refactor: Lint
|
2024-04-18 10:12:55 -04:00 |
|
VectorLike.lean
|
feat: Add properties of charges
|
2024-04-18 10:09:08 -04:00 |
