via-quadrant-induction Induction on n via the quadrant split

OPEN route · research/via-quadrant-induction.md

Target

• deficient-board-tromino-tiling OPEN One-square-deficient power-of-two boards are L-tromino tileable

Requires

• quadrant-induction-step OPEN The quadrant split preserves the induction hypothesis

Statement

Induct on n: the 2×2 base case is a single L-tromino by inspection, and quadrant-induction-step supplies the step.