Theorem LieModuleEquiv.ofTop_apply

Modification history

2023-10-17 14:33
Mathlib/Algebra/Lie/Submodule.lean
Revert "chore: revert #7703 (#7710)" …
Modified LieModuleEquiv.ofTop_applyView on Github →
2023-10-16 19:01
Mathlib/Algebra/Lie/Submodule.lean
chore: revert #7703 (#7710) …
Modified LieModuleEquiv.ofTop_applyView on Github →
2023-10-16 04:14
Mathlib/Algebra/Lie/Submodule.lean
chore: bump toolchain to v4.2.0-rc2 (#7703) …
Modified LieModuleEquiv.ofTop_applyView on Github →
2023-10-08 20:38
Mathlib/Algebra/Lie/Submodule.lean
feat: various Lie algebra definitions / lemmas (#7507) …
Added LieModuleEquiv.ofTop_applyView on Github →