Theorem UniformSpace.Completion.induction_on₂

Modification history