First time here? Check out the FAQ!
answered 2022-08-17 23:19:56 +0100
Doesn't
L.galois_group(K)
work?