Skip to content

[WIP] Strictly associative/unital reduction#17

Draft
alexarice wants to merge 14 commits intoericfinster:cylindertypesfrom
alexarice:cylindertypes
Draft

[WIP] Strictly associative/unital reduction#17
alexarice wants to merge 14 commits intoericfinster:cylindertypesfrom
alexarice:cylindertypes

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant