Cofiber of spectra

ID: cofiber-of-spectra

New to topics? Read the docs here!