jstoobysmith 7107ba8b80 Merge branch 'master' into SpaceTime/LorentzGroup		2024-05-22 09:19:20 -04:00
..
HiggsBoson	Update TargetSpace.lean	2024-05-20 23:36:47 +02:00
Basic.lean	feat: Properties of the group SO(3)	2024-05-20 16:20:26 -04:00
Representations.lean	refactor: Lint	2024-05-09 15:16:38 -04:00