Theorem UniformSpace.Completion.mul_hatInv_cancel

Modification history