|
Algebra.lean
|
feat: Informal normalOrder_wickMap
|
2024-12-02 07:44:44 +00:00 |
|
Contract.lean
|
feat: Add informal level_fintype
|
2024-12-02 10:47:31 +00:00 |
|
Species.lean
|
docs: Improve some documentation
|
2024-12-02 06:00:59 +00:00 |
|
String.lean
|
docs: Improve some documentation
|
2024-12-02 06:00:59 +00:00 |
|
Theorem.lean
|
feat: Informal wicks_theorem
|
2024-12-02 09:12:36 +00:00 |
