jstoobysmith
|
f03d063c86
|
refactor: Remove double empty lines
|
2024-07-03 07:56:30 -04:00 |
|
jstoobysmith
|
a4afeba3cd
|
refactor: Minor golfing
|
2024-07-02 10:40:35 -04:00 |
|
jstoobysmith
|
304c3542b5
|
refactor: Lint
|
2024-07-02 10:26:21 -04:00 |
|
jstoobysmith
|
c64d926e7c
|
refactor: Lorentz Group etc.
|
2024-07-02 10:13:52 -04:00 |
|
jstoobysmith
|
675b9a989a
|
refactor: Major refactor of lorentz group
|
2024-07-01 16:56:15 -04:00 |
|
jstoobysmith
|
f7a638d32e
|
refactor: Change case of type and props
|
2024-06-26 11:54:02 -04:00 |
|
jstoobysmith
|
fb4bb0bb88
|
refactor: Shake
|
2024-06-25 07:06:32 -04:00 |
|
jstoobysmith
|
710e4f7b22
|
docs: Improve some documentation
|
2024-06-15 17:08:08 -04:00 |
|
jstoobysmith
|
de89fd7ef0
|
feat: Homomorphism from SL(2, C) to Lorentz Group
|
2024-06-13 10:57:25 -04:00 |
|
jstoobysmith
|
d7b6cf7246
|
refactor: Golfing
|
2024-06-13 08:10:08 -04:00 |
|
jstoobysmith
|
ea4327aff5
|
feat: space-time and self-adjoint matrices
|
2024-06-12 16:00:07 -04:00 |
|
jstoobysmith
|
9305effe79
|
Refactor: Lint
|
2024-05-22 13:34:53 -04:00 |
|
Pietro Monticone
|
7088bfef3d
|
Update Basic.lean
|
2024-05-20 23:36:41 +02:00 |
|
jstoobysmith
|
c61e2774e1
|
refactor: Lint
|
2024-05-17 15:28:05 -04:00 |
|
jstoobysmith
|
7ebd2af7a5
|
refactor: Major refactor of Lorentz group
|
2024-05-17 15:10:35 -04:00 |
|
jstoobysmith
|
89e940a029
|
refactor: Partial refactor of the lorentz group
|
2024-05-17 11:52:16 -04:00 |
|