Complex sentence: There is an equivalent definition of non-archimedean local field: it is a field that is complete with respect to a discrete valuation and whose residue field is finite.
Split into simpler sentences: There is an equivalent definition of non-archimedean local field given below. An equivalent definition of a non-archimedean local field is that it is a field that is complete with respect to a discrete valuation and whose residue field is finite.