Structure LinearOrderedSemifield

Modification history