Mostowski collapse lemma

ID: mostowski-collapse-lemma

New to topics? Read the docs here!