Theorem π_tensor_id_preserves_coequalizer_inv_colimMap_desc

Modification history