Theorem Module.Projective.of_lifting_property''

Modification history