Comment by agnishom 4 hours ago See also: cofixpoints of co-algebras 1 comment agnishom Reply jesuslop 3 hours ago check mate
check mate