Boolean loops with compact left inner mapping groups are profinite
scientific article; zbMATH DE number 6893940