Theorem Comon_Class.comul_counit

Modification history