Theorem List.forall₂_take

Modification history