Joseph Tooby-Smith 5b3d73dc5d Merge pull request #301 from HEPLean/FieldOpAlgebra ... feat: Some lemmas regarding time ordering		2025-01-28 07:01:58 +00:00
..
AnomalyCancellation	refactor: Improve todos and remove ambiguous	2025-01-24 14:05:54 +00:00
BeyondTheStandardModel	Update Basic.lean	2025-01-23 01:15:54 +01:00
FlavorPhysics/CKMMatrix	Update StandardParameters.lean	2025-01-23 01:15:59 +01:00
Lorentz	Merge pull request #298 from HEPLean/FieldOpAlgebra	2025-01-27 06:40:56 +00:00
Mathematics	fix lint	2025-01-23 01:47:25 +01:00
Meta	refactor: Improve todos and remove ambiguous	2025-01-24 14:05:54 +00:00
PerturbationTheory	feat: some time-ordering lemmas	2025-01-27 16:13:54 +00:00
SpaceTime	refactor: More TODO edits	2025-01-24 14:12:14 +00:00
StandardModel	refactor: Improve todos and remove ambiguous	2025-01-24 14:05:54 +00:00
Tensors	feat: Improved todo list	2025-01-22 10:32:39 +00:00