Theorem IsPrincipalIdealRing.ringKrullDim_eq_one

Modification history