Theorem inr_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 inr_coprodIsoPushout_hom View on Github →