Loading paper
Mean dimension of full shifts | Tomesphere