Theorem CommRingCat.pushout_inr_tensorProdObjIsoPushoutObj_inv_right

Modification history