An embedding theorem for proper n-types

From MaRDI portal
(Redirected from Publication:1208573)
An embedding theorem for proper \(n\)-types















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)