show · lf.residue_field_degree all knowls · up · search:

The residue field degree of a nonarchimedean local field is the degree of its residue field as an extension of its prime field.

Authors:
Knowl status:
• Review status: reviewed
• Last edited by Andrew Sutherland on 2020-10-26 09:34:42
Referred to by:
History:
Differences