Lean-zh/fp-lean-zh

Interlude: Propositions, Proofs, and Indexing

Opened this issue · 0 comments

JiechengZhao commented
  • 翻译
  • 校对