Theorem List.forall_mem_ofFn_iff

Modification history