Issues
Search results
- Status: Open.#13 In homalg-project/ZariskiFrames;
- Status: Open.#12 In homalg-project/ZariskiFrames;
- Status: Open.#11 In homalg-project/ZariskiFrames;
- Status: Open.#10 In homalg-project/ZariskiFrames;
- Status: Open.#9 In homalg-project/ZariskiFrames;
Add non-trivial examples for objects in a category of (co)frames of Zariski closed subsets of a Proj
Status: Open.#8 In homalg-project/ZariskiFrames;