Tiling chessboard with L-shaped tiles

I created a Jupyter notebook for teaching induction in combinatorics to demonstrate that you can always tile a \(2^n \times 2^n\) chessboard which has one tile missing with L-shaped tiles. To see how it works, run it on binder.