Theorem AlgebraicGeometry.Scheme.Hom.isIso_app

Modification history

2025-02-18 17:29
Mathlib/AlgebraicGeometry/OpenImmersion.lean
feat(AlgebraicGeometry): closed subscheme of an ideal sheaf (#21951) …
Added AlgebraicGeometry.Scheme.Hom.isIso_appView on Github →