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