Skip to content

A domain reduction leads its name and wraps the projection - #33

Merged
Simon-McIntosh merged 5 commits into
iterorganization:mainfrom
Simon-McIntosh:main
Sep 6, 2026
Merged

A domain reduction leads its name and wraps the projection#33
Simon-McIntosh merged 5 commits into
iterorganization:mainfrom
Simon-McIntosh:main

docs(plans): a domain reduction leads its name

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

Annotations

2 warnings
coverage
succeeded Sep 6, 2026 in 15m 57s