Theorem Projectivization.independent_pair_iff_neq

Modification history