Theorem Action.β_hom_hom

Modification history

2025-02-27 22:45
Mathlib/CategoryTheory/Action/Monoidal.lean
refactor(RepresentationTheory/Rep): golf some proofs (#22338)
Added Action.β_hom_homView on Github →