Theorem inl_coprodIsoPushout_hom

Modification history

2024-10-22 08:25

Mathlib/CategoryTheory/Limits/Constructions/BinaryProducts.lean

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

Added inl_coprodIsoPushout_hom View on Github →