Def CommRingCat.Under.tensorProductFan'

Modification history