Theorem Rep.coindResAdjunction_homEquiv_apply

Modification history