Def CategoryTheory.equivalenceOfIsEmpty

Modification history