Theorem UniformSpace.Completion.extension_comp_coe

Modification history