universally quantified variable

中文翻译

[计] 全称量词化变元

最近更新

更新时间:2026-06-13 14:15:09