Functions out of Higher Truncations

From MaRDI portal
Publication:5351968