refactor(RingTheory/Trace): Define TraceForm
with LinearMap.BilinForm
#5853
Job | Run time |
---|---|
3s | |
3s |
TraceForm
with LinearMap.BilinForm
#5853
Job | Run time |
---|---|
3s | |
3s |