Theorem LieEquiv.coe_to_lieHom

Modification history