Keyword: comodule

Definition Comodule over a Coalgebra admitted

Lemma Finite-Dimensional Subspace in a Sub-Comodule admitted

Theorem G-Representations Are A-Comodules admitted

Example Regular Representation as a Comodule admitted

Example Trivial Representation as a Comodule admitted