Yes, and don’t forget the dual result that a comathematician is a device for turning cotheorems into ffee.
Yes, and don’t forget the dual result that a comathematician is a device for turning cotheorems into ffee.