Theorem AffineMap.isOpenMap

Modification history