fix: disambiguate Verso labels for 3.6.14, 6.4.12, 6.2, and 4.4.2

[Chessing234]

Summary

• Proposition 3.6.14: (b)/(b'), (c)/(c'), (d)/(d') for the card_union / subset / image pairs.
• Proposition 6.4.12: (a)/(a'), (b)/(b'), (c)/(c')/(c''), (e)/(e') for limsup/liminf bound lemmas.
• Section 6.2: Theorem 6.2.11 (a)/(a'); Proposition 6.2.5 (b)/(b')/(b'')/(b''').
• Exercise 4.4.2: (b)/(b') for Int vs Rat infinite descent.

Branches: fix/section-3-6-prop-3-6-14-labels, fix/section-6-4-prop-6-4-12-labels, fix/section-6-2-thm-6-2-11-labels, fix/section-4-4-exercise-4-4-2-labels.

Test plan

• lake build Analysis.Section_3_6 Analysis.Section_4_4 Analysis.Section_6_2 Analysis.Section_6_4
• CI Build book

Made with Cursor