Theorem Configuration.ofField.mem_iff

Modification history