IntersectAll

class proveit.logic.IntersectAll(instance_param_or_params, instance_element, domain=None, *, domains=None, condition=None, conditions=None, styles=None, _lambda_map=None)[source]

Bases: proveit.OperationOverInstances