Structure SemiRingCat

Modification history