Def AlgebraCat.limitπAlgHom

Modification history