Theorem List.exists_iff_exists_tuple

Modification history