Theorem AbsoluteValue.Completion.isometry_extensionEmbedding_of_comp

Modification history