mathlib
41879a16 - Additional documentation for internal categories

Commit

3 years ago

Additional documentation for internal categories

References

internal_categories

#18204 - feat(category_theory): Internal categories

Author

z-murray

z-murray

Parents

Loading