Theorem CategoryTheory.ExponentialIdeal.mk_of_iso

Modification history

2023-06-27 08:51
Mathlib/CategoryTheory/Closed/Ideal.lean
feat: port CategoryTheory.Closed.Ideal (#4951)
Added CategoryTheory.ExponentialIdeal.mk_of_isoView on Github →