Searched refs:THEOREM_RE (Results 1 – 1 of 1) sorted by relevance
32 THEOREM_RE = re.compile(r"\btheorem\b(?:\s+([A-Za-z0-9_]+)\s*:)?", re.I) variable68 for m in THEOREM_RE.finditer(src):91 nxt_th = THEOREM_RE.search(src, hdr_e)