Commit 2025-02-06 10:13 d0f3f20e
View on Github →refactor(RepresentationTheory): ConcreteCategory instances for Rep (#21465)
This PR promotes the existing HasForget instances for Rep and FDRep to ConcreteCategory. A little bit of cleanup was possible!