Theorem CoalgCat.of_counit

Modification history