jstoobysmith 0d2999344c Merge branch 'jstoobysmith/Copilot' into SpaceTime/LorentzGroup		2024-05-21 08:42:39 -04:00
..
AnomalyCancellation	Update FamilyMaps.lean	2024-05-20 00:19:34 +02:00
FlavorPhysics/CKMMatrix	Update Basic.lean	2024-05-20 00:19:36 +02:00
GroupTheory/SO3	feat: Add instance of SO(3) as topological group	2024-05-21 06:21:51 -04:00
SpaceTime	feat: Add instance of SO(3) as topological group	2024-05-21 06:21:51 -04:00
StandardModel	feat: Properties of the group SO(3)	2024-05-20 16:20:26 -04:00