Theorem Projectivization.independent_pair_iff_ne

Modification history