Theorem IsUltraUniformity.completion_iff

Modification history