Theorem Projectivization.dependent_iff_not_independent

Modification history