目錄呈現與來源綁定資料
以基礎情況與歸納步驟證明自然數族命題。
atlas-mathematical-induction · canonical_mko
atlas-mathematical-induction