Def CommRingCat.Under.equalizerForkTensorProdIso

Modification history