Theorem List.forall₂_of_length_eq_of_nthLe

Modification history