Theorem VectorPrebundle.totalSpaceMk_preimage_source

Modification history