extensional equality

[extensional equality]
[extensional equality]

中文释义

可扩充性等式

单词分析

单词结构:

extensional equality

字母数:20

记忆提示

🎯 重点记忆:

  • 单词拼写:extensional equality
  • 核心含义:可扩充性等式