Def category_theory.limits.reflects_limit_of_iso_diagram

Modification history

2021-05-20 13:34

src/category_theory/limits/preserves/basic.lean

feat(category_theory/limits): reflecting limits of isomorphic diagram (#7674)

Added category_theory.limits.reflects_limit_of_iso_diagram View on Github →