Theorem IsUniformGroup.toUniformSpace_eq

Modification history