package coq-mathcomp-character

  1. Overview
  2. No Docs
Mathematical Components Library on character theory

Install

Dune Dependency

math-comp.github.io Edit opam file Versions (21)

Authors

  1. T
    The Mathematical Components team

Maintainers

  1. M
    Mathematical Components <mathcomp-dev@sympa.inria.fr>

Sources

mathcomp-2.2.0.tar.gz
sha256=e7e8f3ebfebae10fd290a63fffdbe311d32df7eebc2e66777e194269e72697f5

Description

This library contains definitions and theorems about group representations, characters and class functions.

Tags

keyword:small scale reflection keyword:mathematical components keyword:algebra keyword:character logpath:mathcomp.character

Published: 17 Jan 2024

Dependencies (1)

  1. coq-mathcomp-field = version

Dev Dependencies

None

Used by (1)

  1. coq-mathcomp-odd-order = "1.13.0"

Conflicts

None