Stacks Project - Lemma 3.9.1 (Q6775812): Difference between revisions
From MaRDI portal
Created claim: MaRDI profile type (P1460): MaRDI theorem profile (Q6534201) |
Changed claim: instance of (P31): lemma (theorem subclass) (Q6481077) |
||
| Property / instance of | Property / instance of | ||
Latest revision as of 11:26, 26 November 2025
No description defined
- Stacks Project Tag 000I
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Stacks Project - Lemma 3.9.1 |
No description defined |
|
