Theorem AbsoluteValue.Completion.extensionEmbedding_dist_eq_of_comp

Modification history