Theorem inl_coprodIsoPushout_inv

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_inv View on Github →