Theorem CategoryTheory.Quiv.comp_eq_comp

Modification history