Theorem AbsoluteValue.Completion.extensionEmbedding_of_comp_coe

Modification history