Def CommRingCat.Under.tensorProductFan

Modification history