Theorem MulAction.coe_toPermHom

Modification history

2025-12-01 10:02
Mathlib/Algebra/Group/Action/End.lean
feat(GroupTheory/GroupAction/SubMulAction/Combination): combinations and group actions (#27107) …
Added MulAction.coe_toPermHomView on Github →