Theorem LieEquiv.ofEq_apply

Modification history