Kleene fixed-point theorem: Difference between revisions

Removed dual statement (which is false unless you assume the function is co-continuous)
m moved Kleene fixpoint theorem to Kleene fixed-point theorem over redirect: standard terminology
(No difference)