jstoobysmith de89fd7ef0 feat: Homomorphism from SL(2, C) to Lorentz Group		2024-06-13 10:57:25 -04:00
..
Basic.lean	feat: Homomorphism from SL(2, C) to Lorentz Group	2024-06-13 10:57:25 -04:00
Boosts.lean	refactor: Golfing	2024-06-13 08:10:08 -04:00
Orthochronous.lean	refactor: Golfing	2024-06-13 08:10:08 -04:00
Proper.lean	refactor: Golfing	2024-06-13 08:10:08 -04:00
Rotations.lean	Refactor: Lint	2024-05-22 13:34:53 -04:00