Theorem AbsoluteValue.Completion.isClosedEmbedding_extensionEmbedding_of_comp

Modification history