Theorem CategoryTheory.Quiv.pathComposition_naturality

Modification history