Theorem CommRingCat.Under.tensorProdEqualizer_ι

Modification history