Theorem LieSubalgebra.coe_inf

Modification history

2025-09-02 19:30

Mathlib/Algebra/Lie/Subalgebra.lean

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

Added LieSubalgebra.coe_inf View on Github →