teorth

teorth

analysis

★ 1,838

分析 I 的精實伴侶。例如，第 2 章發展了獨立於 Mathlib 的自然數理論，但所有後續章節都將使用 Mathlib 自然數。