Simplify `Data.List.Relation.Unary.Any.Properties`: remove dependency on `List.Properties`#2323

Merged

MatthewDaggitt merged 2 commits intoagda:masterfrom

jamesmckinna:list-dependencies

Mar 21, 2024

Commits on Mar 19, 2024

simplifed proof; removed dependency on `List.Properties`
jamesmckinna
committed

Commits on Mar 20, 2024

corrected module long name in comment
jamesmckinna
committed