Mathlib Changelog
v4
Changelog
About
Github
Theorem
AlgebraicGeometry.Polynomial.isOpenMap_comap_C
Modification history
2023-05-27 14:37
Mathlib/AlgebraicGeometry/PrimeSpectrum/IsOpenComapC.lean
chore: tidy various files (#4423)
Added
AlgebraicGeometry.Polynomial.isOpenMap_comap_C
View on Github →