Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-05-02 06:04 000cae16

View on Github →

feat(representation_theory): Rep k G is symmetric monoidal (#13685)

Estimated changes