Item:Q5561: Difference between revisions
Created a new Item: projective scheme, a scheme 𝑋→𝑆 over some base scheme 𝑆 that factors as a closed immersion 𝑋↪ℙⁿ_𝑆→𝑆 |
Created claim: subclass of (P1): scheme (Q1364) |
||
Property / subclass of | |||
Property / subclass of: scheme / rank | |||
Normal rank |