jstoobysmith 4df8663cbc fix: ofReal -> ofRealHom		2024-11-02 08:18:20 +00:00
..
Basic.lean	fix: ofReal -> ofRealHom	2024-11-02 08:18:20 +00:00
Boosts.lean	chore: Bump to lean v.4.12.0	2024-10-03 13:50:18 +00:00
Orthochronous.lean	refactor: Replace some simp with simp?	2024-09-04 07:31:34 -04:00
Proper.lean	refactor: Replace some simp with simp?	2024-09-04 07:31:34 -04:00
Restricted.lean	feat: Add Lorentz group informal lemmas	2024-09-18 08:24:26 -04:00
Rotations.lean	refactor: Replace simp proofs	2024-08-30 13:40:32 -04:00