Геометрия и группы. Алексей Савватеев. Лекция 12.2. Формальное определение проективного пространства