Def category_theory.star

Modification history

2021-04-22 06:38
src/category_theory/adjunction/over.lean
feat(category_theory/adjunction): construct an adjunction on the over category (#7290) …
Added category_theory.starView on Github →