Theorem ModuleCat.ofHom₂_compr₂

Modification history