Theorem CategoryTheory.ReflPrefunctor.comp_assoc

Modification history