Structure LinearOrderedCommRing

Modification history