Theorem List.forall_iff_forall_tuple

Modification history