Theorem IsPreconnected.infinite_of_nontrivial

Modification history