reflective): show compositions of reflective are reflective (#6298)

Commit

4 years ago

feat(category_theory/adjunction/reflective): show compositions of reflective are reflective (#6298) Show compositions of reflective are reflective.

Author

callesonne

Parents