Theorem UniformSpace.Completion.extension_map

Modification history