Theorem Projectivization.independent_iff_not_dependent

Modification history