Skip to content

refactor: Abstract out the substructure lattice construction and SetLike closure operators#20836

Draft
artie2000 wants to merge 4 commits intomasterfrom artie2000-closure-abstract-2

Commits

Commits on Jan 18, 2025