ParameterRelabelingError

exception proveit.ParameterRelabelingError(expr, relabel_map)[source]