start working on galois reps
now start on galois reps
dir char in gal reps
Merge branch 'mine' of https://github.com/categorie/lmfdb