Theorem ModuleCat.adj_homEquiv

Modification history