refactor(RingTheory/Trace): Define TraceForm
with LinearMap.BilinForm
#11057
GitHub Actions / New Contributor Check
completed
Apr 28, 2024 in 0s
Found 50 PRs by this author.
Found 50 PRs by this author.
Loading