teorth

teorth

analysis

★ 1,838

分析 I のリーンな付属品。たとえば、第 2 章では Mathlib に依存しない自然数の理論を展開しますが、後続のすべての章では代わりに Mathlib の自然数を使用します。