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

Showing 1 - 1
  1. coq-mathcomp-character

    No documentation

    Mathematical Components Library on character theory
    keyword:small scale reflection keyword:mathematical components keyword:algebra keyword:character logpath:mathcomp.character
    The Mathematical Components team
    2.3.0
    CECILL-B
    Used by 1 other packages
    29 Nov 2024