Theorem CommAlgCat.braiding_inv_hom

Modification history