Definition mipMapFirst (m : mipMapList) : mipMap.
