DibyashanuPati/PhysLean
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
PhysLean/HepLean/PertubationTheory/FeynmanDiagrams
History
jstoobysmith 777a878d85 refactor: Move Feynman diagrams
2024-12-02 16:25:14 +00:00
..
Instances refactor: Move Feynman diagrams 2024-12-02 16:25:14 +00:00
Basic.lean refactor: Move Feynman diagrams 2024-12-02 16:25:14 +00:00
Momentum.lean refactor: Move Feynman diagrams 2024-12-02 16:25:14 +00:00