The definition and basic properties of representations of groups in the Lean theorem prover
Primary LanguageLeanApache License 2.0Apache-2.0