Theorem IsPathConnected.preimage_coe

Modification history