Theorem BialgCat.of_counit

Modification history