This repository has been archived by the owner on Jul 24, 2024. It is now read-only.
feat(algebra/*): morphisms from closures are equal if they agree on generators#18836
Open
eric-wieser wants to merge 2 commits intomasterfrom eric-wieser/span-ext
+122-10
