Theorem Equiv.linearEquiv_symm_apply

Modification history

2026-08-10 23:43
Mathlib/Algebra/Module/TransferInstance.lean
feat: generalize transfer instance type class assumptions (#42291) …
Deleted Equiv.linearEquiv_symm_applyView on Github →
2026-07-28 15:41
Mathlib/Algebra/Module/TransferInstance.lean
feat: Transferring Lie Algebra structures along Equivalences (#39818) …
Added Equiv.linearEquiv_symm_applyView on Github →