Theorem CategoryTheory.ReflPrefunctor.comp_id

Modification history