[Typo] 7.2.2. A Universe of Finite Types: typo in Finite.enumerate .pair explanation

[ilya-fiveisky]

Finite.enumerate .pair t1 t2 case explanation has a sentence

In other words, every value from dom should be paired with every value from cod.

which should be

In other words, every value from t1 should be paired with every value from t2.