OP_PR_TH_LEMMA constant

int const OP_PR_TH_LEMMA

Implementation

static const int OP_PR_TH_LEMMA = 1320;