Theorem ModuleCat.free_hom_ext

Modification history