Theorem CategoryTheory.Monoidal.Reflective.isIso_tfae

Modification history

2024-10-27 10:17
Mathlib/CategoryTheory/Monoidal/Braided/Reflection.lean
feat(CategoryTheory/Monoidal): Day's reflection theorem (#15894)
Added CategoryTheory.Monoidal.Reflective.isIso_tfaeView on Github →