Theorem List.Pairwise.forall_of_forall_of_flip

Modification history