projective): projective modules are closed under product (#16735)

Commit

3 years ago

feat(algebra/module/projective): projective modules are closed under product (#16735)

Author

antoinelab01

Parents