Skip to content

Sigma migration of morphisms - #937

Draft
kris-brown wants to merge 2 commits into
mainfrom
sigma_action
Draft

Sigma migration of morphisms#937
kris-brown wants to merge 2 commits into
mainfrom
sigma_action

Make domains of varfunctions FinSets. This only breaks tests for Sigm…

646415a
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs