Theorem UniformSpace.Completion.extension_coe

Modification history