Theorem Projectivization.independent_iff

Modification history