5 commits

Author	SHA1	Message	Date
Pietro Monticone	665289854a	Update TargetSpace.lean	2024-05-20 23:36:47 +02:00
jstoobysmith	7020263053	refactor: Move spacetime	2024-05-14 08:25:03 -04:00
jstoobysmith	c2a5ce612b	refactor: Change of notation for Higgs Target Space	2024-05-09 15:45:08 -04:00
jstoobysmith	8667120377	refactor: Lint	2024-05-09 15:16:38 -04:00
jstoobysmith	5af2eb4d8d	refactor: Change structure of SM file	2024-05-09 15:09:14 -04:00