Theorem IsPreconnected.union'

Modification history