The degree-`n` coefficient of the family expansion of `prod_formalPow_adamsSer_clusterSer_scongr` is the pattern sum `patternSum ε a n n`.

Initializing...

The degree-`n` coefficient of the family expansion of `prod_formalPow_adamsSer_clusterSer_scongr` is the pattern sum `patternSum ε a n n`. · Prove2Me