← Back to context Comment by agnishom 3 hours ago See also: cofixpoints of co-algebras 1 comment agnishom Reply jesuslop 2 hours ago check mate
check mate