Theorem UniformSpace.Completion.hatInv_extends

Modification history