Mathlib Changelog
Changelog
About
Github
Theorem
category_theory.essentially_small_congr
Modification history
2021-03-29 13:12
src/category_theory/essentially_small.lean
feat(category_theory): essentially_small categories (#6801) …
Added
category_theory.essentially_small_congr
View on Github →