use commutativity definition from mathcomp for fingroup
use commutativity definition from mathcomp for fingroup

DistributedComponents/verdi-aggregation,DistributedComponents/verdi-aggregation,DistributedComponents/verdi-aggregation,palmskog/verdi,palmskog/verdi,palmskog/verdi,DistributedComponents/verdi-aggregation