Theorem CategoryTheory.Quiv.adj_homEquiv

Modification history