具体不变式的英文翻译

中文：具体不变式