Theorem Submonoid.exists_of_mem_closure_range

Modification history