Theorem UniformSpace.Completion.map_smul_eq_mul_coe

Modification history