Theorem IsPreconnected.eq_or_eq_neg_of_sq_eq

Modification history