Theorem LieHom.mem_ker

Modification history