projective) make is_projective a class (#7830)

Commit

4 years ago

refactor(algebra/module/projective) make is_projective a class (#7830) Make `is_projective` a class.

Author

riccardobrasca

Parents