Scalars are commutative after being lifted into an associative algebra#5015
Open
zwang123 wants to merge 9 commits intometamath:developfrom
Open
Scalars are commutative after being lifted into an associative algebra#5015zwang123 wants to merge 9 commits intometamath:developfrom
zwang123 wants to merge 9 commits intometamath:developfrom
Commits
Commits on Sep 11, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
