An embedding theorem for mean dimension - Michael Levin (2023)