feat(SpaceAndTime): add Galilean group API#1245

jstoobysmith merged 3 commits into

leanprover-community:masterleanprover-community/physlib:masterfrom

Robby955:pr/911-galilean-group-api-2026-06-24Robby955/physlib:pr/911-galilean-group-api-2026-06-24Copy head branch name to clipboard