Theorem CategoryTheory.KleisliCat.ext

Modification history

2025-08-23 07:32
Mathlib/CategoryTheory/Category/KleisliCat.lean
chore(CategoryTheory): process some porting notes (#28741) …
Added CategoryTheory.KleisliCat.extView on Github →