练习

Mathlib · 数学与形式化

从数学含义到类型、假设和证明，练习准确理解一个概念。

暂无题组。