An embedding theorem for proper n-types

From MaRDI portal
Publication:1208573












This page was built for publication: An embedding theorem for proper \(n\)-types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1208573)