Commit 2023-08-28 13:36 91f0ca64
View on Github →feat: inclusion maps into finite coproducts in Stonean are open embeddings (#6774) ... both the explicit and the abstract one.
- depends on: #6771
feat: inclusion maps into finite coproducts in Stonean are open embeddings (#6774) ... both the explicit and the abstract one.