Theorem ModuleCat.projective_of_free

Modification history