Theorem IsPreconnected.Icc_subset

Modification history