1. 标签
  2. injective-function
  3. 标签动态

该标签暂无描述

Why can't we define closed data families?

Animai°情兽·2020-07-05 07:03·1 回答·问答

How do we know all Coq constructors are injective

仙女界的扛把子·2019-05-10 08:33·2 回答·问答

Injective two-way mappings [duplicate]

爷、活的狠高调·2019-02-16 03:41·1 回答·问答

相关标签