create static method

ProofOps create()

Implementation

@$core.pragma('dart2js:noInline')
static ProofOps create() => ProofOps._();