Theorem UniformSpace.Completion.extension₂_coe_coe

Modification history