Skip to content

refactor(RingTheory/Trace): Define TraceForm with LinearMap.BilinForm #5853

refactor(RingTheory/Trace): Define TraceForm with LinearMap.BilinForm

refactor(RingTheory/Trace): Define TraceForm with LinearMap.BilinForm #5853

Annotations

5 warnings

build

succeeded May 2, 2024 in 3s