Theorem CommAlgCat.coe_tensorObj

Modification history