Theorem UniformSpace.Completion.smul_def

Modification history