Def CategoryTheory.commAlgCatEquivUnder

Modification history