Theorem Subring.exists_list_of_mem_closure

Modification history