group-representations The definition and basic properties of representations of groups in the Lean theorem prover