Skip to content

feat: redefine HashSet.union and add lemmas #18426

feat: redefine HashSet.union and add lemmas

feat: redefine HashSet.union and add lemmas #18426

check-lean-files

succeeded Oct 1, 2025 in 34s