Def CategoryTheory.quotientPathsEquiv

Modification history