[ refactor ] Move Data.List.Relation.Unary.All.Properties.all⊆concat to Data.List.Relation.Binary.Sublist.Setoid.Properties#2524
Merged
JacquesCarette merged 14 commits intoagda:masterfrom jamesmckinna:issue2517Dec 29, 2024
+40-13
Commits
Commits on Dec 17, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 19, 2024
Commits on Dec 24, 2024
- committed