Prod

class proveit.numbers.Prod(indices, summand, domain, *, condition=None, conditions=None, styles=None)[source]

Bases: proveit.OperationOverInstances