# Commit 2022-12-23 08:51 51c6beb4

View on Github →feat(number_theory/number_field/embeddings) : add infinite_places (#17844) This PR adds definitions and basic lemmas about places, complex embeddings and infinite places of number field.

Mathlib v3 is deprecated. Go to Mathlib v4

feat(number_theory/number_field/embeddings) : add infinite_places (#17844) This PR adds definitions and basic lemmas about places, complex embeddings and infinite places of number field.