Def CommRingCat.Under.tensorProductFanIso

Modification history