Theorem List.Pairwise.forall_of_forall

Modification history