Theorem completeSpace_iff_isComplete_univ

Modification history