Theorem LinearEquiv.lieEquiv_apply

Modification history

2026-07-28 15:41
Mathlib/Algebra/Lie/TransferInstance.lean
feat: Transferring Lie Algebra structures along Equivalences (#39818) …
Added LinearEquiv.lieEquiv_applyView on Github →