This member is added by an implicit conversion from SetClauseWithProofCommand to
CollectionsHaveToParArray[SetClauseWithProofCommand, T] performed by method CollectionsHaveToParArray in scala.collection.parallel.
This conversion will take place only if an implicit value of type (SetClauseWithProofCommand) ⇒ GenTraversableOnce[T] is in scope.