jstoobysmith be6ee642d1 docs: Add reference to contract external fields		2024-12-02 11:56:42 +00:00
..
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
MomentumSpace.lean	chore: Add momentum and position space files.	2024-12-02 11:15:41 +00:00
PositionSpace.lean	docs: Add reference to contract external fields	2024-12-02 11:56:42 +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