Theorem LieSubalgebra.toEndomorphism_eq

Modification history