Theorem LieSubalgebra.inf_coe

Modification history

2025-09-02 19:30

Mathlib/Algebra/Lie/Subalgebra.lean

chore: fix names of `coe_` lattice lemmas (#29183) …

Deleted LieSubalgebra.inf_coe View on Github →

2023-03-22 13:29

Mathlib/Algebra/Lie/Subalgebra.lean

feat: port Algebra.Lie.Subalgebra (#3016)

Added LieSubalgebra.inf_coe View on Github →