Theorem prodIsoPullback_inv_fst

Modification history

2024-10-22 08:25

Mathlib/CategoryTheory/Limits/Constructions/BinaryProducts.lean

feat(AlgebraicGeometry): basic properties of separated morphisms and schemes (#17960)

Added prodIsoPullback_inv_fst View on Github →