Theorem LieSubmodule.coe_bracket

Modification history

2024-09-03 05:37

Mathlib/Algebra/Lie/Submodule.lean

chore: merge bump/v4.12.0 and move toolchain to v4.12.0-rc1 (#16433)

Modified LieSubmodule.coe_bracket View on Github →

2023-06-02 13:42

Mathlib/Algebra/Lie/Submodule.lean

feat: port Algebra.Lie.Submodule (#3045)

Added LieSubmodule.coe_bracket View on Github →