Theorem LieHom.lie_apply

Modification history