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