Theorem AlgebraicGeometry.ExistsHomHomCompEqCompAux.range_g_subset

Modification history

2025-09-27 10:51
Mathlib/AlgebraicGeometry/AffineTransitionLimit.lean
feat(AlgebraicGeometry): inverse limits and schemes of finite type (#25941) …
Added AlgebraicGeometry.ExistsHomHomCompEqCompAux.range_g_subsetView on Github →