Ви є тут

О проективности конечно порожденных плоских модулей