Introduction to mean dimension | Synapse