Theorem algebraic_geometry.exists_eq_pow_mul_of_is_compact_of_is_quasi_separated
Modification history
2023-07-04 07:03
src/algebraic_geometry/morphisms/quasi_separated.lean
chore(topology/sheaves): revert universe generalizations from #19153 (#19230) …
Modified algebraic_geometry.exists_eq_pow_mul_of_is_compact_of_is_quasi_separatedView on Github →