Def CategoryTheory.Quiv.pathCompositionNaturality

Modification history