Theorem LieEquiv.lieSubalgebraMap_apply

Modification history