Theorem IsPreconnected.sUnion_directed

Modification history