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