Theorem UniformSpace.Completion.inner_coe

Modification history