Theorem IsOpenMap.of_inverse

Modification history