proof property

SigmaProof proof
final

Implementation

final SigmaProof proof;