Theorem List.forall₂_take_append

Modification history