Theorem List.forall₂_iff_zip

Modification history