Theorem IsPreconnected.eq_of_sq_eq

Modification history