The English speakers must not have taken many math courses: there type declarations much more commonly come after the variable name than the other way around, although both styles are used. I mean "Let G be a group and f an automorphism of G" is much more common than "Consider a group G and an automorphism of G, f".