Theorem AlgebraicGeometry.FormallyUnramified.of_comp

Modification history

2025-01-20 16:09
Mathlib/AlgebraicGeometry/Morphisms/FormallyUnramified.lean
feat(AlgebraicGeometry): Formally unramified morphisms (#20603)
Added AlgebraicGeometry.FormallyUnramified.of_compView on Github →