create static method

Proof_LessThan create()

Implementation

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