Theorem CoalgCat.moduleCat_of_toModuleCat

Modification history