# Comparison lemmata ## [[Zeman - Inner models and large cardinals]] ### Weasel comparison ![[Zeman - Inner models and large cardinals#6.1 Extender Models and Iterations ..... 175]]