使用TheRingSolver-Talk

因为这一页似乎引起了人们的注意：我在其他地方注意到你显然不应该出口.核心模块直接；有更好的地方可以实现平等吗回流比关系。二元的。核心?

对，关系。二元的。命题等式。请将问题直接发送到Agda邮件列表，在那里您更有可能收到回复。