Theorem RingHom.fieldRange_eq_top_iff

Modification history

2024-11-08 12:39
Mathlib/Algebra/Field/Subfield.lean
feat: the completion of a number field at an infinite place (#16483) …
Added RingHom.fieldRange_eq_top_iffView on Github →