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

docs(SpaceAndTime/GalileanGroup): clarify conventions per reviewer fe…

7d5fe04
Select commit
Loading
Failed to load commit list.