Theorem LieEquiv.ofInjective_apply

Modification history