Def CommRingCat.tensorProdObjIsoPushoutObj

Modification history