Skip to content

Add unproject to invert project given the codomain/domain split - #211

Merged
mtfishman merged 2 commits into
mainfrom
mf/unproject
Jul 21, 2026
Merged

Add unproject to invert project given the codomain/domain split#211
mtfishman merged 2 commits into
mainfrom
mf/unproject

Deduplicate `is_projected` through a `ndims_codomain` accessor

4405997
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar