Theorem UniformSpace.Completion.induction_on₃

Modification history