Theorem Comon_Class.comul_counit_hom

Modification history