0xCLOVER
首页
归档
标签
分类
0%
Coq
标签
2021
08-15
「逆否命题⟶原命题」（也）等价于排中律