mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard
verified publisher icon leanprover-community

feat(algebraic_geometry/morphisms): Condition for target affine locally to be stable under base change

Open erdOne opened this issue 3 years ago • 0 comments

Open in Gitpod

erdOne avatar Aug 15 '22 06:08 erdOne