Theorem NumberField.mixedEmbedding.stdBasis_apply_ofIsComplex_fst
Modification history
2025-02-28 20:41
Mathlib/NumberTheory/NumberField/CanonicalEmbedding/Basic.lean
chore(NumberField/CanonicalEmbedding): Fix naming (#21629) …
Deleted NumberField.mixedEmbedding.stdBasis_apply_ofIsComplex_fstView on Github →