Theorem VectorBundleCore.isOpenMap_proj

Modification history