Theorem List.Perm.foldl_eq'

Modification history