Theorem Field.mem_closure

Modification history