generalize SimpleFun codomain from realType to sigmaRingType#1988
Open
hoheinzollern wants to merge 5 commits into
Open
generalize SimpleFun codomain from realType to sigmaRingType#1988hoheinzollern wants to merge 5 commits into
hoheinzollern wants to merge 5 commits into
Commits
Commits on Jun 6, 2026
- andcommitted
- andcommitted
- committed
- andcommitted
- andcommitted
