Fixed-point lemma for normal functions

ID: fixed-point-lemma-for-normal-functions

New to topics? Read the docs here!