Theorem CommAlgCat.coe_tensorUnit

Modification history