Theorem VectorPrebundle.to_vectorBundle

Modification history