UniqueExists

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

Bases: proveit.OperationOverInstances