Theorem IsConnected.prod

Modification history