Theorem Ring.DimensionLEOne.principal_ideal_ring

Modification history