Theorem List.forall₂_and_left

Modification history