Theorem CoalgCat.of_comul

Modification history