jstoobysmith de89fd7ef0 feat: Homomorphism from SL(2, C) to Lorentz Group		2024-06-13 10:57:25 -04:00
..
LorentzAlgebra	refactor: Golfing	2024-06-13 08:10:08 -04:00
LorentzGroup	feat: Homomorphism from SL(2, C) to Lorentz Group	2024-06-13 10:57:25 -04:00
SL2C	feat: Homomorphism from SL(2, C) to Lorentz Group	2024-06-13 10:57:25 -04:00
AsSelfAdjointMatrix.lean	feat: Homomorphism from SL(2, C) to Lorentz Group	2024-06-13 10:57:25 -04:00
Basic.lean	refactor: Golfing	2024-06-13 08:10:08 -04:00
CliffordAlgebra.lean	Update CliffordAlgebra.lean	2024-05-20 23:36:38 +02:00
FourVelocity.lean	refactor: Golfing	2024-06-13 08:10:08 -04:00
Metric.lean	feat: Homomorphism from SL(2, C) to Lorentz Group	2024-06-13 10:57:25 -04:00