add proof of MacLane_ex_VII_1_1
[coq-categories.git] / src / Monads_ch10.v
1 Generalizable All Variables.
2
3 (*******************************************************************************)
4 (* Chapter 10: Monads                                                          *)
5 (*******************************************************************************)
6
7
8
9