Theorem IsComplete.completeSpace_coe

Modification history