Commit ef463bfae26f2028cdda3685297ae2acf859c89c Parent 1069b5a4e9952b2e508c515ed36880cf346c7596 Author Pablo <pablo-escobar@riseup.net> Date Sat, 5 Mar 2022 12:41:37 +0000 Changed the notation for the cathegory of finite-dimensional representations