Definition cubeMipMapsFirst (m : cubeMipMapList) : cubeMipMap.
