Search
Menu
Home
Sources
About
Contacts
Structure theorem
Structure theorem for finitely generated modules over a principal ideal domain
Structured program theorem