Theorem LieHom.isNilpotent_range

Modification history