Theorem RingHom.mem_fieldRange_self

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.mem_fieldRange_selfView on Github →