Theorem List.forall₂_zip

Modification history