Theorem AlgebraicGeometry.IsDominant.of_comp_of_isOpenImmersion

Modification history