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

GOAL OPEN claim · research/deficient-board-tromino-tiling.md

Routes into this claim

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

Statement

For every n ≥ 1, a 2^n × 2^n board with any single square removed can be exactly covered by L-trominoes.