teorth

teorth

analysis

★ 1,838

分析 I 的精益伴侣。例如，第 2 章发展了独立于 Mathlib 的自然数理论，但所有后续章节都将使用 Mathlib 自然数。