Presumably the result of a coproof is a cotheorem. Which I mention only because, as everybody knows, a comathematician is a device for turning cotheorems into ffee.
Presumably the result of a coproof is a cotheorem. Which I mention only because, as everybody knows, a comathematician is a device for turning cotheorems into ffee.