GenerateConditions

GenerateConditions is an option for Integrate, Sum, and similar functions that specifies whether explicit conditions on parameters should be generated in the result.

Please visit the official Wolfram Language Reference for more details and examples on core symbols.