Theorem ModuleCat.ofHom₂_hom₂

Modification history