Theorem simply_connected_def

Modification history