CheatSheet 1.6.3

Example 1.6.3 If $\A_i:i\in I\$ is the indexed family ofexample 1.6.1, then $\bigcap_i\in I A_i$ is theempty set and $\bigcup_i\in I A_i$ is the set of all people. If$\A_i:i\in I\$ is the indexed family ofexample 1.6.2, then $\bigcap_i\in I A_i$ is$\0\$ and $\bigcup_i\in I A_i$ is the set of all integers.$\square$

CheatSheet 1.6.3

There is a PR not merged yet with the fix.Also, there is a workaround (it's on the repo used on this example) until the PR is merged and the new version is released: on devDependencies include"@types/mousetrap": "1.6.3" 041b061a72