Expand description
Contains the trait local::PrincipalLocalRing for principal ideal rings that additionally are
local, i.e. they have a unique maximal ideal (which then is generated by a single element).
Traitsยง
- Principal
Local Ring unstable-enable - Trait for principal ideal rings that additionally are local rings, i.e. have a unique maximal ideal.
- Principal
Local Ring Store unstable-enable RingStoreforPrincipalLocalRing