Theorem SSet.modelCategoryQuillen.cofibration_of_mono

Modification history