Theorem UniformSpace.Completion.denseInducing_toCompl

Modification history