|
ColorIndexList
|
feat: Add append contract
|
2024-08-26 10:05:39 -04:00 |
|
AreDual.lean
|
Docs: Index notation
|
2024-08-15 12:39:52 -04:00 |
|
Basic.lean
|
feat: Add append contract
|
2024-08-26 10:05:39 -04:00 |
|
Color.lean
|
feat: AppendCond contr
|
2024-08-26 09:31:40 -04:00 |
|
Contraction.lean
|
feat: Add append contract
|
2024-08-26 10:05:39 -04:00 |
|
GetDual.lean
|
refactor: Last batch of multi-goal proofs
|
2024-08-21 06:40:58 -04:00 |
|
IndexString.lean
|
refactor: Lint
|
2024-08-16 16:15:39 -04:00 |
|
OnlyUniqueDuals.lean
|
feat: AppendCond contr
|
2024-08-26 09:31:40 -04:00 |
|
TensorIndex.lean
|
refactor: Index notation
|
2024-08-23 11:14:48 -04:00 |
|
WithDual.lean
|
refactor: countId (partial)
|
2024-08-23 15:37:14 -04:00 |
|
WithUniqueDual.lean
|
refactor: countId (partial)
|
2024-08-23 15:37:14 -04:00 |
