hasSylowSubgroupForPrime
P186219
predicate
Indicates that a group possesses a Sylow subgroup corresponding to the given prime.