There are only finitely many infra-nilmanifolds under each nilmanifold: A new proof
scientific article; zbMATH DE number 720651