Theorem isComplete_of_complete_image

Modification history