Theorem IsOpenMap.continuousOn_range_of_leftInverse

Modification history