Def CategoryTheory.Functor.equiv

Modification history

2023-08-28 21:38
Mathlib/CategoryTheory/PUnit.lean
refactor: move morphisms in StructuredArrow to a lower universe (#6397) …
Modified CategoryTheory.Functor.equivView on Github →
2023-02-21 19:14
Mathlib/CategoryTheory/PUnit.lean
feat: port/CategoryTheory.PUnit (#2367)
Added CategoryTheory.Functor.equivView on Github →