Theorem List.forall₂_cons_right_iff

Modification history