Def CategoryTheory.Pseudofunctor.mapId'

Modification history

2025-08-05 23:45

Mathlib/CategoryTheory/Bicategory/Functor/Pseudofunctor.lean

feat: replace aesop_cat with a configurable discharger (#27938) …

Modified CategoryTheory.Pseudofunctor.mapId'View on Github →

2025-06-16 07:03

Mathlib/CategoryTheory/Bicategory/Functor/Pseudofunctor.lean

feat(CategoryTheory): pseudofunctors from strict bicategories (#24382) …

Added CategoryTheory.Pseudofunctor.mapId'View on Github →