Meta statement used to express equality between witnesses of several statements or of the same statement. Each witness is known by a pair of indices, the first index is the statement index and second is witness index in a particular statement.
Add a witness reference
Meta statement used to express equality between witnesses of several statements or of the same statement. Each witness is known by a pair of indices, the first index is the statement index and second is witness index in a particular statement.