Skip to content

feat(SpaceAndTime): add Galilean group API#1245

Merged
jstoobysmith merged 3 commits into
leanprover-community:masterfrom
Robby955:pr/911-galilean-group-api-2026-06-24
Jun 25, 2026
Merged

feat(SpaceAndTime): add Galilean group API#1245
jstoobysmith merged 3 commits into
leanprover-community:masterfrom
Robby955:pr/911-galilean-group-api-2026-06-24

Merge remote-tracking branch 'upstream/master' into pr/1245

68da473
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Python based linters
succeeded Jun 25, 2026 in 15s