Theorem LieSubalgebra.toEndomorphism_mk

Modification history