Skip to content

Fix class equivalence for GeoRoute - #1504

Open
philblackwood wants to merge 7 commits into
developfrom
1389-GeoRoute
Open

Fix class equivalence for GeoRoute#1504
philblackwood wants to merge 7 commits into
developfrom
1389-GeoRoute

Conversation

@philblackwood

@philblackwood philblackwood commented Aug 24, 2026

Copy link
Copy Markdown
Contributor

Closes #1389

Changed class equivalence statement to say the GeoRoute consists of ordered members.

@philblackwood philblackwood changed the title 1389 geo route Fix class equivalence for GeoRoute Aug 25, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Fix restriction on GeoRoute

1 participant