Skip to content

feat(SpaceAndTime): first-step GalileanGroup API (data type and coordinate action)#1116

Open
MaxwellLaw wants to merge 2 commits into
leanprover-community:masterfrom
MaxwellLaw:feat/galilean-transformations
Open

feat(SpaceAndTime): first-step GalileanGroup API (data type and coordinate action)#1116
MaxwellLaw wants to merge 2 commits into
leanprover-community:masterfrom
MaxwellLaw:feat/galilean-transformations

Commits

Commits on May 20, 2026