Commit 2022-08-17 17:39 4a0c4973
View on Github →feat(algebraic_geometry/morphisms): Condition for target affine locally to be stable under base change (#16061)
feat(algebraic_geometry/morphisms): Condition for target affine locally to be stable under base change (#16061)