Theorem LieSubmodule.toEndomorphism_restrict_eq_toEndomorphism

Modification history