Theorem List.forall₂_nil_right_iff

Modification history