Theorem Scheme.nonempty_of_isLimit

Modification history

2025-09-27 10:51
Mathlib/AlgebraicGeometry/AffineTransitionLimit.lean
feat(AlgebraicGeometry): inverse limits and schemes of finite type (#25941) …
Deleted Scheme.nonempty_of_isLimitView on Github →
2025-05-18 17:44
Mathlib/AlgebraicGeometry/AffineTransitionLimit.lean
feat(AlgebraicGeometry): Inverse limit of nonempty schemes is nonempty (#24758)
Added Scheme.nonempty_of_isLimitView on Github →