Theorem LieEquiv.coe_to_linearEquiv

Modification history