package coq-mathcomp-character

  1. Overview
  2. Homepage

Description

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

Dependencies (1)

  1. coq-mathcomp-field = version

Dev Dependencies

None

Used by (1)

  1. coq-mathcomp-odd-order >= "1.12.0" & < "1.14.0"

Conflicts

None

Rocq

Interactive Theorem Prover