Theorem Comon_Class.counit_comul_hom

Modification history