Theorem completeSpace_of_isComplete_univ

Modification history