Formally catenary ring

Summary