4 commits

Author	SHA1	Message	Date
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