Theorem UniformSpace.Completion.map_coe

Modification history