felixwellen/synthetic-zariski Issues
The name 'weakly quasi-coherent'
Updated 1Do basic open propositions have choice?
Updated 1Discussion on renamings
Updated 16Rename f^* to f^{-1}
Updated 8What are external sets, internally?
Updated 3CITATION.cff
Closed 6Remove cache warning
Closed 2Are Z-torsors on A1 trivial?
Updated 2Synthetic Proj construction?
Updated 10Stable references
UpdatedDefine flatness
Updated 23Maps from projective schemes to R
Updated 11write macro for axioms
Closed 1