Metamath Proof Explorer

Table of Contents - 5.10.5. The inclusion/exclusion principle

1. incexclem
2. incexc
3. incexc2