Theorem AlgebraicGeometry.Scheme.Hom.preimage_iSup

Modification history

2024-07-23 19:33

Mathlib/AlgebraicGeometry/Scheme.lean

refactor(AlgebraicGeometry): Introduce `HasRingHomProperty`. (#14992) …

Added AlgebraicGeometry.Scheme.Hom.preimage_iSup View on Github →