Theorem List.forall₂_same

Modification history