Revision #3582 → #4107 · back to history
addedTopological vector space3fe267ca7748
addedDirect sum of representations6094cd869d76
addedHilbert space8b0fba22f51f
addedBanach space4e423033e4c0
addedCyclic group C_n614147bf92d2
addedGroup action0423e6204fa5
addedCategory of vector spaces Vect_K5ef8d42cf753
addedCategory of abelian groups Ab561b47d6ff96
addedCategory of topological spaces Top46e1cac44e89
addedCategory of sets2cd745dfafe7