展开 prop是什么的缩写数学