Def GroupCat.sectionsπMonoidHom

Modification history