Theorem LieEquiv.to_linearEquiv_mk

Modification history