Issue on page /V=L.html

In the section: "Constructibility and the Axiom of Choice", the third paragraph has a typo when it writes: (i.e., $z$ can have...)
In the same section, when ordering pairs (ψ, a), the two cases should be ψ < φ OR (ψ = φ AND a < b).
Was the double symbol = \subseteq intentional at the end of the proof of the Condensation lemma?

28left / descriptive_set_theory