refactor(RingTheory/Trace): Define TraceForm with LinearMap.BilinForm#11057
Closed
mans0954 wants to merge 32 commits intomasterfrom mans0954/bilinform-trace
Commits
Commits on Feb 27, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Feb 28, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Mar 29, 2024
Commits on Apr 9, 2024
- committed
- committed
- committed
- committed