Theorem id_tensor_π_preserves_coequalizer_inv_desc

Modification history