目錄呈現與來源綁定資料
有限交換含一環若1不等於0且沒有非零零因子,則為有限整環。
atlas-finite-integral-domain · canonical_mko
atlas-finite-integral-domain