Theorem AbstractCompletion.closure_range

Modification history