fix(NumberTheory): correct first disjunct in CMS house theorem#129

kim-em merged 1 commit intoleanprover:mainleanprover/lean-eval:mainfrom

rkirov:fix/cyclotomic-house-between-typorkirov/lean-eval:fix/cyclotomic-house-between-typoCopy head branch name to clipboard