mathlib3
d1312d76 - Documentation for natural transformations

Commit

2 years ago

Documentation for natural transformations

References

#18204 - feat(category_theory): Internal categories

Author

z-murray

z-murray

Parents

Loading