Theorem Action.β_inv_hom

Modification history

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