Pietro Monticone f259183222 Update Basic.lean		2024-06-08 03:56:15 +02:00
..
HiggsBoson	Update Basic.lean	2024-06-08 03:56:15 +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