namespace question?

[pingtoo]

Is there document for how namespace destruction, what will happen?

Specifically for mount namespace. I know it seem that when a mount namespace last process end, all mounts in that namespace seems got unmounted automatically. But I am not so sure so I would like to know if this actually documented somewhere as this is by design. I don't want to depend on a side effect where something could change later without explicit notification.