Commit 2025-01-03 07:04 d01dbf92
View on Github →chore(Algebra/Lie): rename theorems for consistency (#20408) Cleaning up issues raised in #20353 Moves: lieIdealSubalgebra -> LieIdeal.toLieSubalgebra LieIdeal.coe_toLieSubalgebra_toSubmodule -> LieIdeal.toLieSubalgebra_toSubmodule