refactor: Abstract out the substructure lattice construction and SetLike closure operators#20836
Draft
artie2000 wants to merge 4 commits intomasterfrom artie2000-closure-abstract-2
+370-175
Commits
Commits on Jan 18, 2025
- committed
- committed
- committed
- committed