Theorem CoalgHomClass.map_comp_comul_apply

Modification history