Theorem BialgCat.of_comul

Modification history