fix(theories/move): add missing theorem to move
fix(theories/move): add missing theorem to move

soonhokong/lean,UlrikBuchholtz/lean,fpvandoorn/lean2,fpvandoorn/lean2,soonhokong/lean,javra/lean,soonhokong/lean,UlrikBuchholtz/lean,javra/lean,soonhokong/lean,javra/lean,soonhokong/lean,UlrikBuchholtz/lean,javra/lean,UlrikBuchholtz/lean,fpvandoorn/lean2,fpvandoorn/lean2,fpvandoorn/lean2,javra/lean,UlrikBuchholtz/lean