Theorem NumberField.ComplexEmbedding.IsConj.coe_stabilizer_mk

Modification history