Theorem LieEquiv.coe_linearEquiv_injective

Modification history