PR #18148: feat(representation_theory/Rep): describe mono...

Stream: triage

[Random Issue Bot]

Today I chose PR 18148 for discussion!

feat(representation_theory/Rep): describe monoidal closed structure
Created by @Amelia Livingston (@101damnations) on 2023-01-12
Labels: awaiting-review

Is this PR still relevant? Any recent updates? Anyone making progress?

[Kevin Buzzard]

We're on the way to group cohomology!