The $C^1$ property of convex carrying simplices for three-dimensional competitive maps

It is proved that a convex carrying simplex for a three-dimensional competitive map is a $C^1$ submanifold-with-corners neatly embedded in the non-negative octant.