Theorem AddEquiv.linearEquiv_apply

Modification history

2026-08-10 23:43
Mathlib/Algebra/Module/TransferInstance.lean
feat: generalize transfer instance type class assumptions (#42291) …
Added AddEquiv.linearEquiv_applyView on Github →