Theorem NumberField.ComplexEmbedding.conjugate_comp

Modification history

2025-09-19 09:10
Mathlib/NumberTheory/NumberField/InfinitePlace/Embeddings.lean
feat: predicates for extensions of complex embeddings (#27977) …
Added NumberField.ComplexEmbedding.conjugate_compView on Github →