1 search result for "tag:"logpath:mathcomp.group_representation""

Showing 1 - 1
  1. rocq-mathcomp-group-representation

    No documentation

    Mathematical Components Library on group representation theory
    keyword:small scale reflection keyword:mathematical components keyword:algebra keyword:character keyword:group representation logpath:mathcomp.group_representation
    The Mathematical Components team
    2.6.0
    CECILL-B
    Used by 2 other packages
    24 Jul 2026