Item:Q6178: Difference between revisions
Created a new Item: Euclidean domain, Commutative ring with an Euclidean division |
Created claim: subclass of (P1): principal ideal domain (Q6179) |
||
Property / subclass of | |||
Property / subclass of: principal ideal domain / rank | |||
Normal rank |