Theorem List.forall_iff_forall_mem

Modification history