PaulowniabyAug 26, 2026, 8:11 AMIt is not so clear in the statement whether it’s a vector space or a field automorphism :)