Theorem Projectivization.dependent_pair_iff_eq

Modification history