Theorem CommAlgCat.associator_inv_hom

Modification history