Theorem controlled_closure_of_complete

Modification history