[Merged by Bors] - feat(NumberField/CanonicalEmbedding): add canonicalEmbedding.integralBasis_repr_apply#14158
Closed
xroblot wants to merge 2 commits intomasterfrom xfr_canonicalEmbedding_repr_apply
