Commit 2025-02-05 23:58 9824ca35
View on Github →refactor(LinearAlgebra): ConcreteCategory instance for QuadraticModuleCat (#21471)
Upgrade the HasForget instance on QuadraticModuleCat to ConcreteCategory. Also fix a type error in ofHom, where it would typecheck only on forms on the same module.