Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2021-07-06 13:47
13999970
View on Github →
feat(category_theory/closed): Exponential ideals (
#4930
) Define exponential ideals.
Estimated changes
Created
src/category_theory/closed/ideal.lean
added
theorem
category_theory.bijection_natural
added
theorem
category_theory.bijection_symm_apply_id
added
def
category_theory.cartesian_closed_of_reflective
added
theorem
category_theory.exponential_ideal.mk'
added
theorem
category_theory.exponential_ideal.mk_of_iso
added
def
category_theory.exponential_ideal_reflective
added
theorem
category_theory.prod_comparison_iso
added
theorem
category_theory.reflective_products