create static method

Proof_Not create()

Implementation

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